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)

No differences found