Closed huttered40 closed 9 months ago
This PR simply changes how it incorporates the Critter profiler, following simplifications to Critter's interface.
This PR simply changes how it incorporates the Critter profiler, following simplifications to Critter's interface.