Skip to content

compatibility with tyxml.4.3.0 and js_of_ocaml.3.3#585

Merged
jrochel merged 5 commits intoocsigen:masterfrom jrochel:6.5Dec 19, 2018

Commits

Commits on Dec 18, 2018