aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/shrink_abstract.v
AgeCommit message (Expand)Author
2018-03-06[compat] Remove "Shrink Abstract"Emilio Jesus Gallego Arias
2015-08-22Documenting the Shrink Abstract option.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:16:58 +0000