projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 10:53:01 +0000 (10:53 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 10:53:01 +0000 (10:53 +0000) | ||
| commit | 7b3b0be4e6979c0d4393d0d0c8fc42ac3674b6db | |
| tree | 1932b292d9b4955d1c75629e81c59e2ae22f44da | tree | snapshot |
| parent | c3ab7e0c0f605738d56530182eb8725bd948de82 | commit | diff |
| helm/software/matita/template_makefile.in | diff | blob | history |