diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-15 13:00:45 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-15 13:00:45 +0200 |
commit | 996abb83e31453b4dcd3f4031a191aba3b392bef (patch) | |
tree | 6baf6f50e30650de097fb705e2c6f36eedaf5e53 /editor/quick_open.h | |
parent | 30da18c01a8d37a5f103386ce6e749e91d64db2d (diff) |
doc: Fix issues found by the parser
Diffstat (limited to 'editor/quick_open.h')
0 files changed, 0 insertions, 0 deletions