projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 16:35:08 +0000 (16:35 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 16:35:08 +0000 (16:35 +0000) | ||
| commit | 9d90210a4e89eb86c4a2cdd632ddfa43d2fdc26b | |
| tree | 31bb710e82c5df168974d74792484a61347ae8b8 | tree | snapshot |
| parent | b1653b6c1008bb99ee91dcf4f075711f4cbaffa4 | commit | diff |
| pkg-matita/trunk/debian/matita.install | diff | blob | history | |
| pkg-matita/trunk/debian/rules | diff | blob | history |