diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-22 13:20:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-22 13:20:41 +0100 |
| commit | 829d21f1c223a159f58cc3f30a98a63ce1f3a9d2 (patch) | |
| tree | fa8057043e097269e239022d2226aa9efaa2aee2 /editor/doc | |
| parent | ff7e7bd260f8541d4c3303a8c82ae438402e71c3 (diff) | |
| parent | 6e249331158b93169e8205a77941b7a7b47d48d1 (diff) | |
Merge pull request #35352 from Feniks-Gaming/BetterDictionary
Improve dictionary description
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions