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: 1bc67a3) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 13 Feb 2002 17:58:16 +0000 (17:58 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 13 Feb 2002 17:58:16 +0000 (17:58 +0000)
commit	39caf4cd040fa20ad786c13dda8127c46a9ed245
tree	19362a1c66b371e8f7055fc62f84703e2b04bef4	tree \| snapshot
parent	1bc67a358739d18d33b2054124570ad58d06f17f	commit \| diff

Bug fixed: the top directory has a different (relative) path depending on
the file directory.

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