]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92f5310) | patch
ported to the new svn architecture
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:45:12 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:45:12 +0000 (15:45 +0000)
commite50c3f84e8d0e8274f1f09b00ef5081b658f3daf
tree9770b8c11445705ca5a4d00aa8352b81e9706915tree | snapshot
parent92f5310c7a4749f3fb0d0246707b9ac7ce01819fcommit | diff
ported to the new svn architecture
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.