aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/explainErr.mli
Commit message (Expand)AuthorAge
* rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cError...Gravatar Pierre Letouzey2016-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 13:07:58 +0000