diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-21 14:41:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-21 14:41:18 +0100 |
| commit | 78f1513928bd5a683f0a0b40d4a4fec42fb1d4f3 (patch) | |
| tree | 7e1818e14fc96569d969437cf1e3cbfa35f12479 /servers | |
| parent | 0b776ebbe4105c5ef3b1c6314157f76be58227b7 (diff) | |
| parent | 0693718164bcb5875af9211713bfa7c4cce86d58 (diff) | |
Merge pull request #34508 from timothyqiu/i18n
Makes more editor strings translatable
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions