From 29d8b182abcd850bb04516753255129bcd051559 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 20 Nov 2012 15:31:31 +0000
Subject: gfse: remove obsolete files

---
 src/www/gfse/editor.js | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/www/gfse/editor.js')

diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js
index 71c2c5f2b..4fba8b44c 100644
--- a/src/www/gfse/editor.js
+++ b/src/www/gfse/editor.js
@@ -336,7 +336,6 @@ function show_compile_error(res,err_ind) {
 		     : "<span class=error_message>"+res.errorcode+" </span>")
     if(dst) {
 	clear(dst);
-	//var minibarlink=a(res.minibar_url,[text("Minibar")])
 	if(res.errorcode=="OK")
 	    dst.appendChild(wrap("h3",text("OK")))
 	else
-- 
cgit v1.2.3