diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-06-15 17:11:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-15 17:11:46 +0200 |
commit | 4c41f6c2adb27103873e1ba495bddb8842a54b25 (patch) | |
tree | 2b2086b600a6f4e14466bac41d0ad838a8a9910b /doc/classes/ConfigFile.xml | |
parent | a2e12a5ce54ebca9bc3e2dd61374c1d0284689f5 (diff) | |
parent | 3511a7ac7e14232f297c61d657ea27b1cd87800e (diff) |
Merge pull request #19568 from guilhermefelipecgs/fix_editor_def
Fix path typo for editor def capitalize_properties
Diffstat (limited to 'doc/classes/ConfigFile.xml')
0 files changed, 0 insertions, 0 deletions