Move docs to "Performance Tools category."
This commit is contained in:
parent
97979dade1
commit
70c723e3ae
|
@ -1,3 +1,3 @@
|
||||||
#lang info
|
#lang info
|
||||||
|
|
||||||
(define scribblings '(("profile.scrbl" () (tool-library))))
|
(define scribblings '(("profile.scrbl" () ("Performance Tools"))))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user