aboutsummaryrefslogtreecommitdiff
path: root/contrib/subtac/subtac_errors.ml
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2006-02-20Forgot another file...coq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-03 04:55:37 +0000