Remove no-longer-needed switch_menu:true
authorMike Taylor <mike@indexdata.com>
Thu, 22 Aug 2013 16:11:07 +0000 (17:11 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 22 Aug 2013 16:11:07 +0000 (17:11 +0100)
Update comment.


No differences found