From a3fec404a39524bdb7e3432c4a54b89b1b1ded35 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 23 Jun 2011 17:00:57 -0400 Subject: [PATCH] Remove highlights after editing. original commit: 2ecec626b35432408d9d558fc4aac66ce3cf4dba --- collects/typed-scheme/info.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/info.rkt b/collects/typed-scheme/info.rkt index 1d42db46..6360474d 100644 --- a/collects/typed-scheme/info.rkt +++ b/collects/typed-scheme/info.rkt @@ -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"))