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 /doc/tutorial/gf-tutorial2.html | |
| parent | 138ac2dece6cbd62b93127ce87e630781ef0188a (diff) | |
Added jgf.bat. Set GF_HOME variable and use it in jgf.bat.
Diffstat (limited to 'doc/tutorial/gf-tutorial2.html')
0 files changed, 0 insertions, 0 deletions