]> Git — Sourcephile - doclang.git/history - Hdoc/TCT/Elem.hs
Improve checking.
[doclang.git] / Hdoc / TCT / Elem.hs
2018-05-16 Julien MoutinhoRename Language -> Hdoc.