forgot to actually comment the tool lines, done now
svn: r5347
This commit is contained in:
parent
775a3f2b2e
commit
4162d15249
|
@ -8,9 +8,9 @@
|
||||||
|
|
||||||
;; The handin tool is disabled by default, uncomment these three lines to
|
;; The handin tool is disabled by default, uncomment these three lines to
|
||||||
;; enable it
|
;; enable it
|
||||||
(define tools `("client-gui.ss"))
|
;(define tools `("client-gui.ss"))
|
||||||
(define tool-names `(,name))
|
;(define tool-names `(,name))
|
||||||
(define tool-icons `("icon.png"))
|
;(define tool-icons `("icon.png"))
|
||||||
;; Modify the provided "icon.png" file to your school/lab/etc logo.
|
;; Modify the provided "icon.png" file to your school/lab/etc logo.
|
||||||
|
|
||||||
;; You must define a server:port for the client to be functional
|
;; You must define a server:port for the client to be functional
|
||||||
|
|
Loading…
Reference in New Issue
Block a user