diff options
Diffstat (limited to 'deprecated')
| -rw-r--r-- | deprecated/jgf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/deprecated/jgf b/deprecated/jgf new file mode 100644 index 000000000..4ef03f47f --- /dev/null +++ b/deprecated/jgf @@ -0,0 +1,8 @@ +#! /bin/sh + +JGUILIB=$GFHOME/src/JavaGUI +GF=$GFHOME/bin/gf +JGUI=GFEditor2 + +java -cp $JGUILIB $JGUI "$GF -java $*" + |