From 20650e5ce136b2362e5301dbb9c2f43155a300d0 Mon Sep 17 00:00:00 2001
From: Rodolphe Breard <rodolphe.breard@uraniborg.net>
Date: Wed, 21 Nov 2012 17:50:18 +0100
Subject: [PATCH] removing useless log

---
 lib/options.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/options.js b/lib/options.js
index e7679f5..61c7981 100644
--- a/lib/options.js
+++ b/lib/options.js
@@ -41,7 +41,6 @@ OptionsManager.prototype.types = {
 	    elem.value = val;
 	},
 	"checkbox": function(elem, val) {
-	    console.log(val);
 	    if (!val) {
 		elem.removeAttribute('checked');
 	    } else {