diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-17 10:43:23 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-17 10:43:23 +0100 |
| commit | 6c46787749879e4afe37e652446801fc6f4cd8f1 (patch) | |
| tree | e67dac921e8c7a07097500b9fe4384bd3461fc11 /doc/classes/EditorSelection.xml | |
| parent | ff59c562f745de957e8395fc02af1e5d7377a302 (diff) | |
doc: Replace some more "val" with "value" + sync
Diffstat (limited to 'doc/classes/EditorSelection.xml')
0 files changed, 0 insertions, 0 deletions