diff options
author | Robin Gareus <robin@gareus.org> | 2017-07-17 04:55:52 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-07-17 21:06:04 +0200 |
commit | f9e5e4360e54f5ff5327b4384ee451d86f8dec91 (patch) | |
tree | 6ae86878b9d7db86c101df33559ffec913d9ed19 /gtk2_ardour/editor_export_audio.cc | |
parent | b5e9451bc7be12acc5d81c55cdaa6545837f3181 (diff) |
Move more Gtkmm2ext widgets into libwidget
Diffstat (limited to 'gtk2_ardour/editor_export_audio.cc')
-rw-r--r-- | gtk2_ardour/editor_export_audio.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gtk2_ardour/editor_export_audio.cc b/gtk2_ardour/editor_export_audio.cc index f2cc8e3d04..1a4f88e2f2 100644 --- a/gtk2_ardour/editor_export_audio.cc +++ b/gtk2_ardour/editor_export_audio.cc @@ -27,8 +27,6 @@ #include "pbd/gstdio_compat.h" -#include "gtkmm2ext/choice.h" - #include "pbd/pthread_utils.h" #include "ardour/audio_track.h" |