From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jun 2005 07:49:25 +0000 (+0000)
Subject: removed spurious entry gtkrc
X-Git-Tag: INDEXING_NO_PROOFS~127
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=af2a19f653255373041b6d792ff8a74b2270eb49;p=helm.git

removed spurious entry gtkrc
---

diff --git a/helm/matita/buildTimeConf.ml.in b/helm/matita/buildTimeConf.ml.in
index b5581fb8e..bc3466a69 100644
--- a/helm/matita/buildTimeConf.ml.in
+++ b/helm/matita/buildTimeConf.ml.in
@@ -28,7 +28,6 @@ let version = "0.0.1";;
 let undo_history_size = 10;;
 let console_history_size = 100;;
 let browser_history_size = 100;;
-let gtkrc = "@MATITA_GTKRC@";;
 let base_uri = "cic:/matita";;
 let phrase_sep = ".";;
 let blank_uri = "about:blank";;