diff options
| author | Martin Capitanio <capnm@capitanio.org> | 2019-01-28 00:41:51 +0100 |
|---|---|---|
| committer | Martin Capitanio <capnm@capitanio.org> | 2019-01-28 06:29:39 +0100 |
| commit | e07e154ebf0f655fa6a6600c2a78206bdcceb7ee (patch) | |
| tree | a780fd5cfb7ba5788a176988d46df966b73341f5 /editor/editor_path.h | |
| parent | bd55ac89646060359760c0fdcf39fef14d1a7fea (diff) | |
Cleanup unused header
Diffstat (limited to 'editor/editor_path.h')
0 files changed, 0 insertions, 0 deletions