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/pane_drag.h | |
parent | bd55ac89646060359760c0fdcf39fef14d1a7fea (diff) |
Cleanup unused header
Diffstat (limited to 'editor/pane_drag.h')
0 files changed, 0 insertions, 0 deletions