Quick fix

(Didn't realize that tool names are relative to the info file.)
This commit is contained in:
Eli Barzilay 2011-08-29 16:48:15 -04:00
parent 57ea31cca2
commit 1b05a2968c

View File

@ -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