move unused option heading inside profile-condition
authorRobin Gareus <robin@gareus.org>
Mon, 16 May 2016 13:27:56 +0000 (15:27 +0200)
committerRobin Gareus <robin@gareus.org>
Mon, 16 May 2016 13:27:56 +0000 (15:27 +0200)
commit1c373bd75c3000f922e0f650fea134c503dd6bfc
tree315fecdcb4a75f1ef92a9fe2df26f3ebc55c2ed1
parent372e3b019e5de043fde2a4d0b411d4b7c16083fd
move unused option heading inside profile-condition
gtk2_ardour/rc_option_editor.cc