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
This commit is contained in:
parent
7c11cc13e4
commit
3d849f652d
|
@ -23,4 +23,3 @@ limits.
|
|||
@include-section["sampler.scrbl"]
|
||||
@include-section["analyzer.scrbl"]
|
||||
@include-section["renderers.scrbl"]
|
||||
@include-section["contract-profile.scrbl"]
|
||||
|
|
Loading…
Reference in New Issue
Block a user