diff options
| author | notin | 2009-01-22 13:41:52 +0000 |
|---|---|---|
| committer | notin | 2009-01-22 13:41:52 +0000 |
| commit | f33ea164bb30e89542c4febea9193e217047e32e (patch) | |
| tree | 51e9729525ec7896e14bca3456544b158b768e5d /doc | |
| parent | 3c767fca720f26abfc5622e99757fcce87b043e1 (diff) | |
Fix d'un petit problème avec ocamlmklib en présence de l'option -camldir
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11834 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions