Manifest-Version: 1.0
Extension-Name: profiler
Class-Manager: org.nlogo.extensions.profiler.ProfilerExtension
