summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/jgf21
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/jgf2 b/bin/jgf2
index d702c8076..ed5fc144d 100644
--- a/bin/jgf2
+++ b/bin/jgf2
@@ -2,7 +2,6 @@
# change the value of GFHOME to the directory where you have the gf binary
GFHOME=/home/aarne/GF2/bin
- # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1
JGUILIB=$GFHOME/java/
GF=$GFHOME/gf2