diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2012-10-09 12:42:13 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2012-10-09 12:42:13 +0000 |
| commit | 9a718352b954148201c85cda1fce0aaaa98bdc28 (patch) | |
| tree | 36f85d0975adad25f7c00ebf7c5c14581eae6d78 /ocamldoc/odoc_merge.ml | |
| parent | d924f9f9240c778ee3faf8dc43af1b3a9288cbdc (diff) | |
PR#5778: convert constructors on the right hand side of exception ... = ...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_merge.ml')
0 files changed, 0 insertions, 0 deletions