diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-24 17:06:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-24 17:06:09 +0200 |
commit | 5216ce23b61a57c3c19bc1bc6d3e8ccc6c86b9fc (patch) | |
tree | 891b0f6a781ad783d9a9fba9c7ef9361b884003a /editor/editor_themes.h | |
parent | f21b32aa045592b1975682e157b6c90345f6daf1 (diff) | |
parent | 1e2f55e27393ae61ed9585b48bb8d1f3987bed9b (diff) |
Merge pull request #42308 from akien-mga/i18n-rename-pt_PT
i18n: Rename pt_PT to pt
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions