diff options
| author | aarne <unknown> | 2004-06-15 13:55:54 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-15 13:55:54 +0000 |
| commit | 3fb91e0f448aa4be317a112fdc95673fb99fa6f6 (patch) | |
| tree | bfa5f16b457b06eca610541663776051d6deb66e /src/GF/Shell.hs | |
| parent | 652618742aa1dd10b1a53bb132a476a91f1dc3ba (diff) | |
improved make facility: remember state if fails; does not need source
Diffstat (limited to 'src/GF/Shell.hs')
0 files changed, 0 insertions, 0 deletions