diff options
| author | aarne <unknown> | 2004-04-30 05:02:49 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-30 05:02:49 +0000 |
| commit | cbbb6d65c7bd05a0543c4e023610a2a9bbfe2054 (patch) | |
| tree | 6c1eb5d9f55147a9942396a30e615649f3955827 /bin | |
| parent | 9e23c25e283c551d84913994b5d54a7fcd460aa7 (diff) | |
gr F ? ?
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf2 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ #! /bin/sh # change the value of GFHOME to the directory where you have the gf binary -GFHOME=/home/aarne/GF2/bin +GFHOME=/home/aarne/GF/bin JGUILIB=$GFHOME/java/ GF=$GFHOME/gf2 |