diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-26 08:38:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-26 08:38:08 +0200 |
| commit | d064b8e0554954af675ca76481388fb4aca4ed0d (patch) | |
| tree | 1663fc4339639e17c43eb05779674f6cb4a22547 /core/make_binders.py | |
| parent | 8fc92ae86faed72c402e7770246ed18d50b5c43b (diff) | |
| parent | c4770a5b5d32583c682268ec802fada1c1b30647 (diff) | |
Merge pull request #22436 from Calinou/tweak-editor-texts
Tweak some editor texts' capitalization, use "Go to" instead of "Goto"
Diffstat (limited to 'core/make_binders.py')
0 files changed, 0 insertions, 0 deletions