remove unused heading
authorRobin Gareus <robin@gareus.org>
Sun, 28 Feb 2016 16:06:53 +0000 (17:06 +0100)
committerRobin Gareus <robin@gareus.org>
Sun, 28 Feb 2016 16:06:53 +0000 (17:06 +0100)
commit0ac1ae0d0e6719298e3ccfde6f846541c1c8bfe9
treeafd8833ae8414665e18a2e0dd53cc10bf833e585
parent88c839d0789b80330c934024e4c9ae9faafe916e
remove unused heading
gtk2_ardour/rc_option_editor.cc