Remove unused API (no more unconditional splash pop-back)
authorRobin Gareus <robin@gareus.org>
Sat, 14 Dec 2019 22:32:24 +0000 (23:32 +0100)
committerRobin Gareus <robin@gareus.org>
Sat, 14 Dec 2019 22:44:04 +0000 (23:44 +0100)
commit1881d73f43b64e4f84769b44d066835cb6f6e73b
treefbfb7bd9752706488d2f355476272f82ac76d30e
parent2b55d6dce3ded525731a6825bed658bca344bd28
Remove unused API (no more unconditional splash pop-back)
gtk2_ardour/ardour_ui.cc
gtk2_ardour/ardour_ui.h