diff options
| author | mdenes | 2013-01-24 08:06:42 +0000 |
|---|---|---|
| committer | mdenes | 2013-01-24 08:06:42 +0000 |
| commit | 9d1753b54f205f5c4b9489d8865aff877a4db6fa (patch) | |
| tree | 2021b065405f9482f2317c9f7db9fa5bca384901 /plugins/xml | |
| parent | cff6778a03af680681e08726e352b735e0202066 (diff) | |
Native compiler: warnings were not turned off for OCaml 3.11
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16140 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions