diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-01 21:37:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-01 21:37:33 +0100 |
| commit | 91e57827955ce5d9e49333b67c8179bc17e0a324 (patch) | |
| tree | 9d05c42013f47a3b10aa55e01db902b438a8d719 /.gitignore | |
| parent | 65e3ef705b0f45866e3bb4a75bafa374a559d1f0 (diff) | |
| parent | f3835282c4a5c10291dc6edbc405d88aeca448cc (diff) | |
Merge pull request #23311 from YeldhamDev/editor_capitalization_fix
Small capitalization fixes across the editor
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions