diff options
author | 2004-10-27 17:43:25 +0000 | |
---|---|---|
committer | 2004-10-27 17:43:25 +0000 | |
commit | 95a66e52524b899cdfe3765c4b85296b82aa5416 (patch) | |
tree | 6e1b34108ccebb0ec89ba545ffe9b02faaa68380 /Makefile.dep | |
parent | a467cd39586159fa660e5f5dc557efaad03426c9 (diff) |
Ajout test dependent rewrite
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6260 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.dep')
0 files changed, 0 insertions, 0 deletions