diff options
| author | Robin Gareus <robin@gareus.org> | 2017-07-17 00:00:11 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-07-17 21:06:04 +0200 |
| commit | b5e9451bc7be12acc5d81c55cdaa6545837f3181 (patch) | |
| tree | 13df7f92eaf327c13324641804bf0aa87ea6c165 /gtk2_ardour/midi_channel_selector.h | |
| parent | f6e182b937efda6ed0ba50dbc02af98524beb61c (diff) | |
Remove unused sources & includes
Diffstat (limited to 'gtk2_ardour/midi_channel_selector.h')
| -rw-r--r-- | gtk2_ardour/midi_channel_selector.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/midi_channel_selector.h b/gtk2_ardour/midi_channel_selector.h index 730e6de889..7f1281d7d0 100644 --- a/gtk2_ardour/midi_channel_selector.h +++ b/gtk2_ardour/midi_channel_selector.h @@ -29,6 +29,7 @@ #include "gtkmm/button.h" #include "gtkmm/radiobutton.h" #include "gtkmm/label.h" + #include "gtkmm2ext/stateful_button.h" #include "ardour/types.h" |