diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,9 +1,9 @@ #! /bin/sh # change the value of GFHOME to the directory where you have the gf binary -GFHOME=./ +GFHOME=/home/aarne/GF/bin -JGUILIB=../src/java +JGUILIB=$GFHOME/java GF=$GFHOME/gf JGUI=GFEditor2 |
