diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-06-11 22:10:32 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-06-11 22:10:32 +0200 |
| commit | e969948a47466edd2cfbeaf234f9987f08e1ca64 (patch) | |
| tree | c012d849476465e752f539d8c4ee09cdd069525a /src/tools/gftest/EqRel.hs | |
| parent | ffb74b2f3dd272d620ec04096b8076a441b0ab36 (diff) | |
Remove .authorspellings (it was a darcs relic and now useless)
Diffstat (limited to 'src/tools/gftest/EqRel.hs')
0 files changed, 0 insertions, 0 deletions