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 | 5a99efb2b5eec9678f453345b9b70160b36ae6cf | |
| tree | 9afcac19915b0baa10eb0ff9c9ba48c4766aa4f6 | tree | snapshot |
| parent | 235f00e453b14ce285b26251908a46c83acdae35 | commit | diff |
| matita/template_makefile.in | diff | blob | history |