]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db13adb) | patch
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Sep 2006 10:35:15 +0000 (10:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Sep 2006 10:35:15 +0000 (10:35 +0000)
commita28e3bc3dd16929c397595d1d19b61ebe2acdb01
treef1df601606a41c35ae6b570a4f8ca6bf66a7b634tree | snapshot
parentdb13adb173da540aefbc2aa2d137cebe8d6a2afecommit | diff
rebuilt
helm/software/matita/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.