diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2018-08-02 10:49:39 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2018-08-02 14:06:34 +0200 |
| commit | 84730760698833df09eb8b082a5473be5fc85c85 (patch) | |
| tree | 18db88656718463c3af7349637c613cf9c889e5d /plugingui/tabbutton.h | |
| parent | e39d82f5a06db9d4c4c505d30c4ac116037e1399 (diff) | |
Fix rampdown issue and clean up a bit while at it.
Diffstat (limited to 'plugingui/tabbutton.h')
0 files changed, 0 insertions, 0 deletions