projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 13 Jun 2006 11:42:28 +0000 (11:42 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 13 Jun 2006 11:42:28 +0000 (11:42 +0000) | ||
| commit | 17c8be831a7b29ed9403317924394356eadf1945 | |
| tree | d4b3666a7373ba1a7919008b25cd4a0cb25db96e | tree | snapshot |
| parent | 9c42f01f9163236dff3c19496774b0029e81551a | commit | diff |
| helm/software/matita/Makefile | diff | blob | history |