diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-01 08:25:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-01 08:25:03 +0100 |
| commit | 58889102b6fe3a562e4f5e0cb045def9ff2b1f53 (patch) | |
| tree | 396926b4a20b832008a64814726e5841f89f5b10 /servers | |
| parent | fc6ef93cc84c415519f05e38ecd3d91a9fe196f1 (diff) | |
| parent | 0438f4875d0ef2a327c9d7d24dc04fb3e28a9193 (diff) | |
Merge pull request #12538 from akien-mga/editorsettings
Code quality refactoring in EditorSettings
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions