From 3353059277c40eebe52b0479e7c230ff76d1d1d0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 11 Dec 2009 16:27:24 +0000
Subject: moved bin/jgf to deprecated

---
 bin/jgf        | 8 --------
 deprecated/jgf | 8 ++++++++
 2 files changed, 8 insertions(+), 8 deletions(-)
 delete mode 100644 bin/jgf
 create mode 100644 deprecated/jgf

diff --git a/bin/jgf b/bin/jgf
deleted file mode 100644
index 4ef03f47f..000000000
--- a/bin/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 $*"
-
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 $*"
+
-- 
cgit v1.2.3