summaryrefslogtreecommitdiff
path: root/plugingui/tabbutton.cc
diff options
context:
space:
mode:
authorAndré Nusser <andre.nusser@googlemail.com>2019-07-20 20:42:37 +0200
committerAndré Nusser <andre.nusser@googlemail.com>2019-07-20 20:42:37 +0200
commit2fd222f5f950fd791e7344b2e667fedc7dbbecc1 (patch)
treed5b8e85cd0488d0584da1dc15f39a35f6ba83b6b /plugingui/tabbutton.cc
parent5cfe39aa82ce25895517fb16e5fb7856181dd6ca (diff)
Again adapt standard settings for sample selection.
Diffstat (limited to 'plugingui/tabbutton.cc')
0 files changed, 0 insertions, 0 deletions