From c5b963769539c8a7c9bd154585686d263c7d6d8a Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 22 Dec 2010 14:11:55 +0000
Subject: removed GF/deprecated

---
 deprecated/jgf | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 deprecated/jgf

(limited to 'deprecated/jgf')

diff --git a/deprecated/jgf b/deprecated/jgf
deleted file mode 100644
index 4ef03f47f..000000000
--- a/deprecated/jgf
+++ /dev/null
@@ -1,8 +0,0 @@
-#! /bin/sh
-
-JGUILIB=$GFHOME/src/JavaGUI
-GF=$GFHOME/bin/gf
-JGUI=GFEditor2
-
-java -cp $JGUILIB $JGUI "$GF -java $*"
-
-- 
cgit v1.2.3