From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 3 Feb 2005 10:40:49 +0000 (+0000)
Subject: removed spurious load of a local gTopLevel.conf.xml
X-Git-Tag: V_0_1_0~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=51971de8dfcf257680cf38f01f9bf53d9912a498;hp=51971de8dfcf257680cf38f01f9bf53d9912a498;p=helm.git

removed spurious load of a local gTopLevel.conf.xml
---