diff options
Diffstat (limited to 'bin/jgf2')
| -rw-r--r-- | bin/jgf2 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/jgf2 b/bin/jgf2 deleted file mode 100644 index c4911446f..000000000 --- a/bin/jgf2 +++ /dev/null @@ -1,11 +0,0 @@ -#! /bin/sh - -# change the value of GFHOME to the directory where you have the gf binary -GFHOME=/home/aarne/GF2/bin - -JGUILIB=$GFHOME/java/ -GF=$GFHOME/gf -JGUI=GFEditor2 - -java -cp $JGUILIB $JGUI "$GF -java $*" - |