diff options
| author | bringert <unknown> | 2005-05-19 17:56:30 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-19 17:56:30 +0000 |
| commit | f0e3d46b33d493bd1eb6d7bd699bf8a1843f0261 (patch) | |
| tree | 160ad9df764861948f26e3cdf70009f217ddb806 /src/jgf.bat | |
| parent | 138ac2dece6cbd62b93127ce87e630781ef0188a (diff) | |
Added jgf.bat. Set GF_HOME variable and use it in jgf.bat.
Diffstat (limited to 'src/jgf.bat')
| -rw-r--r-- | src/jgf.bat | 1 |
1 files changed, 1 insertions, 0 deletions
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" %* |