diff options
| author | bringert <unknown> | 2004-06-23 14:15:16 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 14:15:16 +0000 |
| commit | 63f5a7b62fa89614f6bb184ff3117702d5ac9103 (patch) | |
| tree | 152f2dacc794ff03a29aa2b2372a5565055261c7 /src/GF/Shell/PShell.hs | |
| parent | aa917b4a2d87a3ecfbc4b286f6bf301c21f7e094 (diff) | |
binary-dist now builds the gf binary. this takes a looong time.
Diffstat (limited to 'src/GF/Shell/PShell.hs')
0 files changed, 0 insertions, 0 deletions