aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/qed_export.v
AgeCommit message (Expand)Author
2015-03-22Qed export -> Qed exportingEnrico Tassi
2015-02-14Abstract: "Qed export ident, .., ident" to preserve v8.4 behaviorEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 13:24:39 +0000