From af2a19f653255373041b6d792ff8a74b2270eb49 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jun 2005 07:49:25 +0000
Subject: [PATCH] removed spurious entry gtkrc

---
 helm/matita/buildTimeConf.ml.in | 1 -
 1 file changed, 1 deletion(-)

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";;
-- 
2.39.2