]> matita.cs.unibo.it Git - helm.git/commit
This commit was manufactured by cvs2svn to create branch 'interface'. interface
authorno author <no.author@nowhere.it>
Tue, 31 Oct 2000 14:20:30 +0000 (14:20 +0000)
committerno author <no.author@nowhere.it>
Tue, 31 Oct 2000 14:20:30 +0000 (14:20 +0000)
commit4e9a9c5ddfe635b338c2abf30f1e918d861e104d
treeeaefcdfe5968445d72befadc67f8380156dd758b
parentc01d2aaea05f7385bee46addd900cd0397756389
This commit was manufactured by cvs2svn to create branch 'interface'.
helm/configuration/local/etc/helm/configuration.dtd [deleted file]
helm/configuration/local/etc/helm/configuration.xml [deleted file]
helm/configuration/local/lib/helm/configuration.pl [deleted file]