Push DrScheme tool down to a sub-dir
svn: r15288
This commit is contained in:
parent
afd026f482
commit
8ad431b778
|
@ -1,8 +1,6 @@
|
|||
#lang setup/infotab
|
||||
(define name "FrTime")
|
||||
|
||||
(define compile-omit-paths '("demos" "tests"))
|
||||
|
||||
(define scribblings '(("scribblings/frtime.scrbl" () (experimental))))
|
||||
(define tools '("frtime-tool.ss"))
|
||||
(define tool-icons '(("clock.png" "frtime")))
|
||||
(define tool-names '("FrTime Languages"))
|
||||
|
|
Before Width: | Height: | Size: 2.6 KiB After Width: | Height: | Size: 2.6 KiB |
6
collects/frtime/tool/info.ss
Normal file
6
collects/frtime/tool/info.ss
Normal file
|
@ -0,0 +1,6 @@
|
|||
#lang setup/infotab
|
||||
(define name "FrTime Tool")
|
||||
|
||||
(define tools '("frtime-tool.ss"))
|
||||
(define tool-icons '("clock.png"))
|
||||
(define tool-names '("FrTime Language"))
|
Loading…
Reference in New Issue
Block a user