diff options
author | André Nusser <andre.nusser@googlemail.com> | 2017-02-10 20:35:44 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-01 16:35:50 +0200 |
commit | a51479061c5fdcfbd9fabb14f4b597f2748d919d (patch) | |
tree | b6ee3d7eb0ace245dffe5a3fd3f7e5fe492bde4d /plugingui/tabbutton.cc | |
parent | 3f5255f5362877d0a4d942a65df62f7b977fb547 (diff) |
A very rough first version of the GUI.
Diffstat (limited to 'plugingui/tabbutton.cc')
0 files changed, 0 insertions, 0 deletions