diff options
| author | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
| commit | 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a (patch) | |
| tree | 45d8c23bd52228d7f94537d60d7aca9aed3774e0 /src/GF/Shell/ShellCommands.hs | |
| parent | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (diff) | |
Find java with configure, do not include preprocessed jgf script in binary dists.
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
0 files changed, 0 insertions, 0 deletions