diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-31 15:24:35 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-31 23:36:03 +0100 |
commit | 0438f4875d0ef2a327c9d7d24dc04fb3e28a9193 (patch) | |
tree | d41c97fd4d6184eb44f96e6faf07314b3083f1bd /doc/classes/ToolButton.xml | |
parent | 2d5de0b185b97cf246eacef88d308c54585aad40 (diff) |
Some more harmonization of EditorSettings code
Diffstat (limited to 'doc/classes/ToolButton.xml')
0 files changed, 0 insertions, 0 deletions