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)
commit588b3c4049b3cbe5d72571a83dcaf8bee310e1b5
tree0843d7f741763a077ea994e0b2b624e8277a87f0
parent79eae3bc5e8db2b052c3f8223308e423ff830169
Remove no-longer-needed switch_menu:true
Update comment.
examples/htdocs/index-mike.html