diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-01-11 22:38:00 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-01-11 22:40:51 +0100 |
| commit | a23ffb82bbb62b38b6511063fd54e0408b2590c2 (patch) | |
| tree | a8ff0abc0fea1995706d321a3d3eb10f1c00d14c /platform | |
| parent | f698e2be4f52415b329d9cfeac59b7582abbe3bd (diff) | |
Dehardcode version major in editor settings
Follow-up on 7474fc133a268eae12b7b89307cb0482e3781820.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions