]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99e61d9) | patch
...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:35:25 +0000 (13:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:35:25 +0000 (13:35 +0000)
commit2f084b5e3804c49004d1b0ce332905171634e3e5
treea64856cc8178b9458a37951e6bbc6b2a4e0fdcdatree | snapshot
parent99e61d93dbda938cdeaaf4a984bae5cb914d6747commit | diff
...
helm/matita/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.