projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Dec 2005 10:40:20 +0000 (10:40 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Dec 2005 10:40:20 +0000 (10:40 +0000) | ||
| commit | 9877f543d688ccb5900077135ffd09add5a09757 | |
| tree | 63b069a660463386867f20d5c23266e4dd9e34d7 | tree | snapshot |
| parent | 30028f3f9d4109822f998e2d064b00696db6db59 | commit | diff |
| helm/matita/tests/bad_tests/.depend | [deleted file] | blob | history |