diff options
| author | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
| commit | 9650864b06bbc90c5e2f64c36cf0c67c68300af5 (patch) | |
| tree | 12c33c7d75d7228695001d33085de6bc17d55bab /bin/jgf2 | |
| parent | 9d07bd92a87705a61d23e44cdbd659f08b055de5 (diff) | |
the name gf2
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 $*" - |