diff options
| author | notin | 2009-01-09 18:00:56 +0000 |
|---|---|---|
| committer | notin | 2009-01-09 18:00:56 +0000 |
| commit | ee2110587e91f288bcae62e9f837f99079dfaf2a (patch) | |
| tree | 4c489d99344737db46a8b8a610d8596aa402a11c /scripts | |
| parent | 2784afbbb12ce92df1e8c8ad97d081969cfbea08 (diff) | |
Oups... il n'y a pas d'option -impl pour ocamldep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11771 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions