From 08c629c1a0b82fd59f58cebf6d3857701cf0bffd Mon Sep 17 00:00:00 2001
From: Marco Biasini <marco.biasini@unibas.ch>
Date: Fri, 12 Oct 2012 12:57:37 +0200
Subject: [PATCH] remove silly name
---
scripts/init_cl.py | 2 --
1 file changed, 2 deletions(-)
diff --git a/scripts/init_cl.py b/scripts/init_cl.py
index d4a14df4c..d022205a3 100644
--- a/scripts/init_cl.py
+++ b/scripts/init_cl.py
@@ -49,8 +49,6 @@ _InitRuleBasedBuilder()
import os.path
HistoryFile=os.path.expanduser('~/.ost_history')
-# this is a silly name...
-InGUIMode=False
# ... lets be more pythonic
gui_mode=False
--
GitLab