From 89e7b97ea4493d15a83ab24f66a764b0b4f24963 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 2 Nov 2010 18:58:52 +0100
Subject: [PATCH] remove log statement

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

diff --git a/lib/ace/Editor.js b/lib/ace/Editor.js
index 902b2eab..43819a8d 100644
--- a/lib/ace/Editor.js
+++ b/lib/ace/Editor.js
@@ -913,7 +913,6 @@ var Editor = function(renderer, doc) {
     };
 
     this.replace = function(replacement, options) {
-        console.log("replacing with " + replacement);
         if (options)
             this.$search.set(options);