projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 Jul 2007 11:54:28 +0000 (11:54 +0000) | ||
| commit | daf9dc0cc314e381855058bcb70192d9825b3bf1 | |
| tree | 8a8a13482b46b9fbfd20ea1b66fbadab8fe1bbea | tree | snapshot |
| parent | e0b576827e1d1dd243f304e68cda6b0c7cc21978 | commit | diff |
| helm/software/matita/Makefile | diff | blob | history |