diff options
| author | JJ | 2023-06-17 23:21:25 +0000 |
|---|---|---|
| committer | JJ | 2023-06-17 23:21:25 +0000 |
| commit | 1151e9d5c673dbdf61896094b86373c1a4edf4ab (patch) | |
| tree | 69480ea62c8cfbede9df6306dee071d8d795232e /.gitignore | |
| parent | 6aeacb7abca05bac190d093cbefc3a88c46052b6 (diff) | |
implement online lookups if a wiktionary dump is not detected
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions