From 1b05a2968ce2a36f0eca2034298ccbccd1bf8e92 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 29 Aug 2011 16:48:15 -0400 Subject: [PATCH] Quick fix (Didn't realize that tool names are relative to the info file.) --- collects/tests/drracket/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/drracket/info.rkt b/collects/tests/drracket/info.rkt index e7a7d13110..9d38f3a2ed 100644 --- a/collects/tests/drracket/info.rkt +++ b/collects/tests/drracket/info.rkt @@ -1,6 +1,6 @@ #lang setup/infotab -(define tools '(("time-keystrokes.rkt" "drracket"))) +(define tools '(("time-keystrokes.rkt"))) (define tool-names '("Time Keystrokes")) (define compile-omit-paths