projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 8 Feb 2006 17:14:06 +0000 (17:14 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 8 Feb 2006 17:14:06 +0000 (17:14 +0000) | ||
| commit | c76bf80d9cf70a04d9e12c053138fea937971d32 | |
| tree | b02285fcfaf86378077b9e796b69386137d23a9f | tree | snapshot |
| parent | f5e08781241c4ad7c47ab75cb24c3f1865617405 | commit | diff |
| helm/software/matita/dist/configure.ac.sed | diff | blob | history |