matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c3dc7a4) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 21 Dec 2000 14:15:17 +0000 (14:15 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 21 Dec 2000 14:15:17 +0000 (14:15 +0000)
commit	f1963225783effe6f19d5ad6f44f3c049f76cd6e
tree	e7c5b9de97eae67f305ebe10fe775e3d2f6dc6f5	tree \| snapshot
parent	c3dc7a49311fba7a38c5e7c834df33e93d2926f6	commit \| diff

All files previously in local/$i/helm moved in $i

helm/configuration/local/etc/helm/configuration.dtd	[deleted file]	blob \| history
helm/configuration/local/etc/helm/configuration.xml	[deleted file]	blob \| history
helm/configuration/local/etc/helm/helm-dictionary.xml	[deleted file]	blob \| history
helm/configuration/local/etc/helm/helm-font-configuration.xml	[deleted file]	blob \| history
helm/configuration/local/etc/helm/helm-math-engine-configuration.xml	[deleted file]	blob \| history
helm/configuration/local/lib/helm/configuration.pl	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.