diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-08-29 19:04:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-29 19:04:33 +0200 |
| commit | 91a5c77282f0d5ce7008737f463c1ad27207b99c (patch) | |
| tree | 150bbd54b683526dfbe91414c76f126e04a2256b /tools/editor/property_editor.cpp | |
| parent | 835ee75d578913fc60c35f16a7d7bc5182c85cd0 (diff) | |
| parent | f6b39827b1f68aef52fd87723f0225946eff1551 (diff) | |
Merge pull request #6185 from TheHX/pr-issue-3496
Better editor settings for the FileSystem dock
Diffstat (limited to 'tools/editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions