diff options
author | 2011-09-01 09:50:40 +0000 | |
---|---|---|
committer | 2011-09-01 09:50:40 +0000 | |
commit | b83c2b5c95c48913a608946389978241491af760 (patch) | |
tree | be305b910464a8297efa13c22f958c5f7e425613 /INSTALL.doc | |
parent | f68ff650f2203d9981ffbd97e2053ba3295f71c8 (diff) |
Coq_makefile: Bug fix of check_dep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14431 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions