From 8a0e9077ce39a00c0b4ee83afcbe46dadab5a90b Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 11 Sep 2008 08:30:29 +0000 Subject: Remove old editor shell script and configure stuff. --- src/jgf.bat | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/jgf.bat (limited to 'src/jgf.bat') diff --git a/src/jgf.bat b/src/jgf.bat deleted file mode 100644 index d56a638d5..000000000 --- a/src/jgf.bat +++ /dev/null @@ -1 +0,0 @@ -java -jar "%GF_HOME%\gf-java.jar" "%GF_HOME%\gf.exe" %* -- cgit v1.2.3