diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-28 14:05:55 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-28 14:05:55 +0000 |
| commit | 833752872b675a911954f218d225d21cd5b90088 (patch) | |
| tree | 9ceaccd6b0737dcae283bb0b1e23d68657613a12 /src/tools/MkHelpFile.hs | |
| parent | 128809b7b8382acdd7ad46be95c0ac8a6d3231a7 (diff) | |
part of Attempto controlled language in English and Swedish
Diffstat (limited to 'src/tools/MkHelpFile.hs')
0 files changed, 0 insertions, 0 deletions