From 4162d15249bdc42a9fc45b111ed3ee09c1ee9437 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 13 Jan 2007 05:01:16 +0000 Subject: [PATCH] forgot to actually comment the tool lines, done now svn: r5347 --- collects/handin-client/info.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/handin-client/info.ss b/collects/handin-client/info.ss index 9c166783c2..352d47a7cf 100644 --- a/collects/handin-client/info.ss +++ b/collects/handin-client/info.ss @@ -8,9 +8,9 @@ ;; The handin tool is disabled by default, uncomment these three lines to ;; enable it - (define tools `("client-gui.ss")) - (define tool-names `(,name)) - (define tool-icons `("icon.png")) + ;(define tools `("client-gui.ss")) + ;(define tool-names `(,name)) + ;(define tool-icons `("icon.png")) ;; Modify the provided "icon.png" file to your school/lab/etc logo. ;; You must define a server:port for the client to be functional