diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf2 | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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 |
