diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-21 15:34:11 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-21 15:34:11 +0200 |
| commit | ef7b384861d59e566badf1adf28c8b56255c912e (patch) | |
| tree | 2d4e9c2bcd9cab7f594bfa1e42d29fe08d0e6a94 /editor | |
| parent | eaef2cc6b5c3c0cf9d5b1c54eacdf234c305f7a7 (diff) | |
doc: Misc formatting fixes
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions