diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-04 16:55:01 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-04 16:55:01 +0200 |
| commit | f7ca1c805ba2189627b49212ffbfba773f44acc5 (patch) | |
| tree | 8292ebe3dc88ae3f4a0704d4c556f22d89a3226c /doc/classes/EditorSettings.xml | |
| parent | 878adb22b72d3442c7edd7de9a9b3f0348524d2f (diff) | |
doc: Sync classref with current source
Diffstat (limited to 'doc/classes/EditorSettings.xml')
0 files changed, 0 insertions, 0 deletions