diff options
author | André Nusser <andre.nusser@googlemail.com> | 2017-01-01 15:44:16 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2017-01-01 19:57:04 +0100 |
commit | 3608911a4c105b65c9049753759619e8d115b357 (patch) | |
tree | 53de1e6401380501707f12e08b72be53caaf3e34 /plugingui/resources | |
parent | badbd103ae9387912189f2aedf888fd89770ea10 (diff) |
Fix warnings of unhandled events that we don't have to care about.
Diffstat (limited to 'plugingui/resources')
0 files changed, 0 insertions, 0 deletions