projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 10:44:45 +0000 (10:44 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 10:44:45 +0000 (10:44 +0000) | ||
| commit | 734dd632fa16c66dabdf47efd588606049cbd9a7 | |
| tree | 1fe835d7182eeea5ea352b9a77932cc9432bff3f | tree | snapshot |
| parent | 9aa884f95b624d613d7abf817f7fc108340da337 | commit | diff |
| helm/software/pkg-matita/trunk/debian/control | diff | blob | history | |
| helm/software/pkg-matita/trunk/debian/matita.menu | [new file with mode: 0644] | blob |
| helm/software/pkg-matita/trunk/debian/rules | diff | blob | history |