moved bin/jgf to deprecated

This commit is contained in:
aarne
2009-12-11 16:27:24 +00:00
parent d3b179eeed
commit 3353059277

View File

@@ -1,8 +0,0 @@
#! /bin/sh
JGUILIB=$GFHOME/src/JavaGUI
GF=$GFHOME/bin/gf
JGUI=GFEditor2
java -cp $JGUILIB $JGUI "$GF -java $*"