diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-30 17:04:50 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-30 17:04:50 +0100 |
commit | a2bf54c041b726a0639dc3294402471ea829bbde (patch) | |
tree | 13a7898f7dda36bbb10c72cb4d6ae9b78a36c726 /gtk2_ardour/ardour_ui2.cc | |
parent | 16e4333ad6bdd1428940ad8a9fa1bf97ac6c8fdd (diff) |
re-group preferences part eight and nine of 27 (probably)
Diffstat (limited to 'gtk2_ardour/ardour_ui2.cc')
-rw-r--r-- | gtk2_ardour/ardour_ui2.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour_ui2.cc b/gtk2_ardour/ardour_ui2.cc index a93ed17245..77299eb24a 100644 --- a/gtk2_ardour/ardour_ui2.cc +++ b/gtk2_ardour/ardour_ui2.cc @@ -53,7 +53,6 @@ #include "main_clock.h" #include "mixer_ui.h" #include "utils.h" -#include "theme_manager.h" #include "time_info_box.h" #include "midi_tracer.h" #include "global_port_matrix.h" |