aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldoc/header.tex
Commit message (Collapse)AuthorAge
* Ensuring that documentation of mli code works in the presence of utf-8Gravatar Hugo Herbelin2015-12-05
characters.
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 21:42:56 +0000