diff options
| author | barras | 2009-03-16 18:27:31 +0000 |
|---|---|---|
| committer | barras | 2009-03-16 18:27:31 +0000 |
| commit | ae744b3df410ed903a57c2142d29bc3ef301defe (patch) | |
| tree | 3c6a94b7f14931463a1d4ba1e393ca046fe75857 /dev | |
| parent | d63dee24c817560a6fea49dfe0c851b4df25ecf7 (diff) | |
missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was included in coqdep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11985 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions