diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-30 00:12:25 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-30 00:12:25 +0100 |
commit | f114a20aa93e7753d65918e1052c08ff0357611a (patch) | |
tree | f5f48038a868edd2d85680afc61a35e1843c8349 /gtk2_ardour/rc_option_editor.cc | |
parent | d89db694cfd2c187bc45fe93702de2ad6ed6f0a0 (diff) |
Shrink some spinners
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
0 files changed, 0 insertions, 0 deletions