projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 10:45:04 +0000 (10:45 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 10:45:04 +0000 (10:45 +0000) | ||
| commit | 5f7475b2ff59b5eb3396ab3f6cc04cdd10902dc7 | |
| tree | ec89014e9693ebb0daa8f5438fe74d105ce47b30 | tree | snapshot |
| parent | efbf89f2138e410b95a1de2e375e063bb9bb89b9 | commit | diff |
| pkg-matita/trunk/debian/control | diff | blob | history |