]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38e1ee1) | patch
This commit was manufactured by cvs2svn to create branch configuration
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)
commit75c6477aa6e52980b8adce1bdc9ef4ed873c854b
tree9f3764a505c3254447ab8e6b888447f1b05edffetree | snapshot
parent38e1ee1df7be76922343935255e26673af8c7682commit | diff
This commit was manufactured by cvs2svn to create branch
'configuration'.
Unnamed repository; edit this file 'description' to name the repository.