temporary workaround for missing(?) tool module

This commit is contained in:
Matthew Flatt 2010-12-14 14:53:47 -07:00
parent fc9d1694f6
commit de271aa698

View File

@ -2,5 +2,6 @@
(define name "DeinProgramm - Signatures")
(define drracket-tools '("tool.rkt"))
(define drracket-tool-names '("Signatures"))
;; Disable until "too.rkt" is added (or otherwise fixed)
;(define drracket-tools '("tool.rkt"))
;(define drracket-tool-names '("Signatures"))