diff options
| author | aarne <unknown> | 2004-04-02 12:35:23 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-02 12:35:23 +0000 |
| commit | a9b2f69c3a20956b4630dffd7ad741f4f08718a8 (patch) | |
| tree | 4cc4471846dedebc52d80d1ed032a4607fe6a2f8 /bin | |
| parent | 73c4fe8ddae261c02220d7b8205761210b61c3a8 (diff) | |
Beta.
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 |