Rename all menu_* configuration options show_*. Part of MKWS-41
authorMike Taylor <mike@indexdata.com>
Tue, 8 Oct 2013 12:30:16 +0000 (13:30 +0100)
committerMike Taylor <mike@indexdata.com>
Tue, 8 Oct 2013 12:30:16 +0000 (13:30 +0100)
commit1e449acba57c1146e146225f7f47e5cd412e07e2
treedaec288178dd231e23a719d6e58087fcf213e7e4
parent1e7d39d145cc36121f176b758f5436670287b62c
Rename all menu_* configuration options show_*. Part of MKWS-41
examples/htdocs/index-full.html
examples/htdocs/index-mobile.html
examples/htdocs/index-popup.html
tools/htdocs/README.markdown
tools/htdocs/mkws.js
tools/htdocs/whitepaper.markdown