Remove obsolete switch_menu configuration item.
authorMike Taylor <mike@indexdata.com>
Thu, 22 Aug 2013 16:11:23 +0000 (17:11 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 22 Aug 2013 16:11:23 +0000 (17:11 +0100)

No differences found