From 3608232afaf3aed97456601190eb2f227f64e2a3 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 10 Aug 2004 11:52:42 +0000
Subject: [PATCH] clean up

---
 bin/jgf2+ | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 bin/jgf2+

diff --git a/bin/jgf2+ b/bin/jgf2+
deleted file mode 100644
index a452d34cc..000000000
--- a/bin/jgf2+
+++ /dev/null
@@ -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 $*"
-