julia
remove mention of old instrumenting profiler from docs
#32291

Merged

remove mention of old instrumenting profiler from docs #32291

KristofferC merged 1 commit into master from KristofferC-patch-7

remove mention of old instrumenting profiler from docs

2584e1c4

KristofferC added docs

KristofferC assigned

timholy 6 years ago

KristofferC merged dd56dbfd into master 6 years ago

fredrikekre deleted the KristofferC-patch-7 branch 6 years ago

Reviewers

No reviews

Assignees

timholy

Labels

docs

Milestone

No milestone