From fb269bcd02ba86a709f14f784eed9b01203a69f3 Mon Sep 17 00:00:00 2001
From: Jeremie Laval <jeremie.laval@gmail.com>
Date: Wed, 2 May 2012 14:28:01 +0100
Subject: [PATCH] [webdoc] Remove log

---
 webdoc/search.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/webdoc/search.js b/webdoc/search.js
index 204c31fef..471721998 100644
--- a/webdoc/search.js
+++ b/webdoc/search.js
@@ -4,7 +4,6 @@ var content_frame = $('#content_frame');
 var page_link = $('#pageLink');
 var lis = null;
 var page_top_offset = $('#main_part').offset().top;
-console.log (page_top_offset);
 
 change_page = function (pagename) {
     content_frame.attr ('src', 'monodoc.ashx?link=' + pagename);