diff options
| author | notin | 2007-02-27 14:23:20 +0000 |
|---|---|---|
| committer | notin | 2007-02-27 14:23:20 +0000 |
| commit | 08155e36e163ea69f7929ae268770a7ef0ea89c1 (patch) | |
| tree | 40aec6c95eab61a0a65955cbb4deb6142716c329 /kernel/type_errors.mli | |
| parent | f7a82d5f7edcce7ef70b99a10b92d8dcd5cfea70 (diff) | |
Correction d'un bug de l'install (win)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9680 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions