aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldoc/fix-ocamldoc-utf8
Commit message (Expand)AuthorAge
* Ensuring that documentation of mli code works in the presence of utf-8Gravatar Hugo Herbelin2015-12-05