]> matita.cs.unibo.it Git - helm.git/commit
New repository initialized by cvs2svn.
authorno author <no.author@nowhere.it>
Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)
committerno author <no.author@nowhere.it>
Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)
commit6fa0e80fc781322d48e5e971779adc3c83932f69
tree4b825dc642cb6eb9a060e54bf8d69288fbee4904
New repository initialized by cvs2svn.