diff options
| author | herbelin | 2004-04-30 13:17:29 +0000 |
|---|---|---|
| committer | herbelin | 2004-04-30 13:17:29 +0000 |
| commit | b74e66dc5fd78af56e768486fa8e534fd7c07c21 (patch) | |
| tree | 849d7718719610558f5ad141c4ffcadd9f30138f /kernel/type_errors.mli | |
| parent | b71ed5d423d7e95217fd8165827673cbb49d279a (diff) | |
Dépendance en $(RPMTOPDIR)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5715 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions