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

No differences found