diff options
| author | herbelin | 2002-04-10 18:00:30 +0000 |
|---|---|---|
| committer | herbelin | 2002-04-10 18:00:30 +0000 |
| commit | 0d485b7aa33feb723fdff1af56e61269df001904 (patch) | |
| tree | a3f74c9a1b7ee294d64135070bd91f8724a6fd73 /kernel/type_errors.ml | |
| parent | 9b8e006e0c84408992f42bd9d713eacf2936a6d3 (diff) | |
Simplification du nom de l'architecture Mac OS X
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2631 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions