diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2019-07-20 20:42:37 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2019-07-20 20:42:37 +0200 |
| commit | 2fd222f5f950fd791e7344b2e667fedc7dbbecc1 (patch) | |
| tree | d5b8e85cd0488d0584da1dc15f39a35f6ba83b6b /plugingui/tabbutton.cc | |
| parent | 5cfe39aa82ce25895517fb16e5fb7856181dd6ca (diff) | |
Again adapt standard settings for sample selection.
Diffstat (limited to 'plugingui/tabbutton.cc')
0 files changed, 0 insertions, 0 deletions