From f0e3d46b33d493bd1eb6d7bd699bf8a1843f0261 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Thu, 19 May 2005 17:56:30 +0000
Subject: Added jgf.bat. Set GF_HOME variable and use it in jgf.bat.

---
 src/jgf.bat | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/jgf.bat

(limited to 'src/jgf.bat')

diff --git a/src/jgf.bat b/src/jgf.bat
new file mode 100644
index 000000000..d56a638d5
--- /dev/null
+++ b/src/jgf.bat
@@ -0,0 +1 @@
+java -jar "%GF_HOME%\gf-java.jar" "%GF_HOME%\gf.exe" %*
-- 
cgit v1.2.3