From e8d856d6d34141fca4ace1563cf6604e375fab90 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Thu, 22 Aug 2013 17:11:53 +0100 Subject: [PATCH] Remove obsolete switch_menu configuration item and corresponding div. --- examples/htdocs/index-mobile.html | 2 -- 1 file changed, 2 deletions(-) diff --git a/examples/htdocs/index-mobile.html b/examples/htdocs/index-mobile.html index cd5aad9..45a735d 100644 --- a/examples/htdocs/index-mobile.html +++ b/examples/htdocs/index-mobile.html @@ -11,7 +11,6 @@ lang: "da", debug: 1, use_service_proxy: true, - switch_menu: false, lang_menu: true, lang_display: ["da", "en"], sort_default: "relevance", @@ -27,7 +26,6 @@ -

-- 1.7.10.4