diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-01-18 15:20:53 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-01-18 15:20:53 +0000 |
| commit | f761bb2ac13629b4d6de8855f8afa4ea95d7facc (patch) | |
| tree | 63ad30861c627d9d7918a1a367a0e07a506aed24 /test-suite/success/ImplicitArguments.v | |
| parent | 2299413926668ff322cfd139e78299b4733eacd0 (diff) | |
Revert "coq_makefile: use coqdep instead of ocamldep on .ml4 files"
This reverts commit d14b9f6a017347e59cf037ff576f282785105080.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16128 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/success/ImplicitArguments.v')
0 files changed, 0 insertions, 0 deletions