projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 15:27:54 +0000 (15:27 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 15:27:54 +0000 (15:27 +0000) | ||
| commit | 018d4ce4a38dd40fd03a9125a65418da7e56c89c | |
| tree | 8e32a12eae576e5b012bc47cb13c0faf641fb1a3 | tree | snapshot |
| parent | b71d8cefeb2c957eb4f724d96a270e33a2327d1c | commit | diff |
| helm/software/pkg-matita/trunk/debian/matita.install | diff | blob | history | |
| helm/software/pkg-matita/trunk/debian/rules | diff | blob | history |