diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-06-20 10:06:22 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-06-20 10:06:22 +0200 |
| commit | 485938103c6f9350575b79a4d4372c0b70439e04 (patch) | |
| tree | 9e70c3158c31cac10c7a33710174f07c21103ff1 /src/runtime/javascript | |
| parent | 6ce57c0505dece51fe78b06da75dceefc5d75045 (diff) | |
Remove wide coverage translator
It had now been migrated to a new repository:
https://github.com/GrammaticalFramework/wide-coverage
Diffstat (limited to 'src/runtime/javascript')
0 files changed, 0 insertions, 0 deletions