gfse: remove obsolete files

2012-11-20 15:31:31 +00:00
parent 2ee6211fe1
commit 29d8b182ab
4 changed files with 0 additions and 297 deletions
@@ -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