clean up

2026-04-09 04:59:31 -06:00 · 2004-08-10 11:52:42 +00:00
parent b4022179a4
commit 3608232afa
1 changed files with 0 additions and 12 deletions
--- a/bin/jgf2+
+++ b/bin/jgf2+
@@ -1,12 +0,0 @@
-#! /bin/sh
-
-# change the value of GFHOME to the directory where you have the gf binary
-GFHOME=/home/aarne/GF2/bin
-       # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1
-
-JGUILIB=$GFHOME/java/
-GF=$GFHOME/gf2+
-JGUI=GFEditor2
-
-java -cp $JGUILIB $JGUI "$GF -java -new $*"
-