diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-01 09:50:40 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-01 09:50:40 +0000 |
| commit | b83c2b5c95c48913a608946389978241491af760 (patch) | |
| tree | be305b910464a8297efa13c22f958c5f7e425613 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions