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: 088c647) | patch

author	Luca Padovani <luca.padovani@unito.it>
	Mon, 29 Jan 2001 12:33:18 +0000 (12:33 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Mon, 29 Jan 2001 12:33:18 +0000 (12:33 +0000)
commit	51a55115aa687a5ce1e9f1be1aefba47b6044eeb
tree	020ee1864ecd67769d41bd672edf8b8108766743	tree \| snapshot
parent	088c64751826270f01d66d5ddca1897fc83d13a9	commit \| diff

configuration improvements

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