projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 29 Oct 2006 09:32:07 +0000 (09:32 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 29 Oct 2006 09:32:07 +0000 (09:32 +0000) | ||
| commit | a0bdf89fd9bf9dc126b156308e86885bdf04c9e5 | |
| tree | a05c354a30f0b40cfcfdd0c30306bf5820e3bc2c | tree | snapshot |
| parent | 211bf1d85eeb8a0035d22dc29acad5411aed08cf | commit | diff |
| matita/template_makefile_devel.in | diff | blob | history |