Remove highlights after editing.
original commit: 2ecec626b35432408d9d558fc4aac66ce3cf4dba
This commit is contained in:
parent
c4cb2c2154
commit
a3fec404a3
|
@ -2,3 +2,5 @@
|
|||
|
||||
(define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language 4))
|
||||
("scribblings/ts-guide.scrbl" (multi-page) (language 5))))
|
||||
(define drracket-tools '(("optimizer/tool/tool.rkt")))
|
||||
(define drracket-tool-names '("Performance Report"))
|
||||
|
|
Loading…
Reference in New Issue
Block a user