From 615b338b7960d815393223a649bf769e6512ff63 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@indexdata.dk>
Date: Fri, 23 Aug 2013 16:34:12 +0200
Subject: [PATCH 1/1] switch_menu is gone

---
 examples/htdocs/index-jasmine.html |    1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/htdocs/index-jasmine.html b/examples/htdocs/index-jasmine.html
index ee7db07..81c101b 100644
--- a/examples/htdocs/index-jasmine.html
+++ b/examples/htdocs/index-jasmine.html
@@ -5,7 +5,6 @@
     <link rel="stylesheet" type="text/css" href="../../tools/htdocs/mkwsStyle.css" />
     <script type="text/javascript">
       var mkws_config = {
-	  switch_menu: false,
 	  /*
 	  service_proxy_url : "/service-proxy/",
 	  service_proxy_auth : "/service-proxy-auth/",
-- 
1.7.10.4