Repo to recreate coqdoc bug https://coq.inria.fr/bugs/show_bug.cgi?id=3292
No one’s star this repository yet.