diff options
| author | Poommetee Ketson <poommetee@protonmail.com> | 2017-11-11 13:23:53 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-11 13:23:53 +0700 |
| commit | 11b2aa2729b5d8b2c03ed0d1f2d3b58f6d90d777 (patch) | |
| tree | 44fa1bae0102aad913817113b2304d9f273cd74c /doc/classes/EditorSettings.xml | |
| parent | 19b1ff0fc5f7acce23176ad6c8752604357472f0 (diff) | |
| parent | 8cf0d6ceb4f0c6c102a3166e8feb1589dd1030a9 (diff) | |
Merge pull request #12827 from djrm/pr_fixes
Some fixes and improvements.
Diffstat (limited to 'doc/classes/EditorSettings.xml')
0 files changed, 0 insertions, 0 deletions