From 3d849f652d18e55f9c7ae3b9fd8c1aa1174d27d5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 7 Jun 2013 10:54:35 -0400 Subject: [PATCH] Move the contract profiler to its own collection. Should become its own package once we split up the collects. Requested by Eli, to reduce the dependencies of the profiler collection. original commit: 3d6776680cd5962494987256db57d81075be9ee8 --- collects/profile/scribblings/profile.scrbl | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/profile/scribblings/profile.scrbl b/collects/profile/scribblings/profile.scrbl index cf50723..e07a7b4 100644 --- a/collects/profile/scribblings/profile.scrbl +++ b/collects/profile/scribblings/profile.scrbl @@ -23,4 +23,3 @@ limits. @include-section["sampler.scrbl"] @include-section["analyzer.scrbl"] @include-section["renderers.scrbl"] -@include-section["contract-profile.scrbl"]