diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-23 18:25:58 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-23 18:25:58 +0000 |
commit | 71146049dd3d7087ebf392203b97f0c10c2fe90f (patch) | |
tree | 4b43f64422f987eb304a6af771f08ea045b262ca /dev/Makefile.common | |
parent | c0f26dd0ebae4bad9a8850a198f0126ea4656e73 (diff) |
Erreur commit constrintern.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8854 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/Makefile.common')
0 files changed, 0 insertions, 0 deletions