diff options
| author | priesnit <priesnit@chalmers.se> | 2006-03-02 20:53:44 +0000 |
|---|---|---|
| committer | priesnit <priesnit@chalmers.se> | 2006-03-02 20:53:44 +0000 |
| commit | 434053ac2c3242cc98d72f8f9b1d29088009ce5a (patch) | |
| tree | cf624ce75e0596e85acca078e9c6a3c761d22dbe /bin | |
| parent | f568dbcf642fcb4c5e4dc8bb3efe0ef72fc88439 (diff) | |
GFHOME must now be set in the environment
minor change in German numbers
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1,8 +1,5 @@ #! /bin/sh -# change the value of GFHOME to the directory where you have the gf binary -GFHOME=/home/aarne/GF - JGUILIB=$GFHOME/src/JavaGUI GF=$GFHOME/bin/gf JGUI=GFEditor2 |