diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-06-12 15:53:58 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-06-12 15:53:58 +0200 |
| commit | 5aa2a212bbbf6bce696665852d7da98f91c81d54 (patch) | |
| tree | 39f807113a44401c76c96a2d46eb94b798e1a06f /src/tools/MkHelpFile.hs | |
| parent | 27b49e0a8ba100135fe61c63bafaefe927aa6759 (diff) | |
Remove HTML files from VC which should be generated from txt2tags
If these pages disappear from the web via www.grammaticalframework.org
then this commit may need to be reversed
Diffstat (limited to 'src/tools/MkHelpFile.hs')
0 files changed, 0 insertions, 0 deletions