aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/closed/bug_4836.v
AgeCommit message (Expand)Author
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2016-09-11Add a test for 4836Jason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 10:42:15 +0000