aboutsummaryrefslogtreecommitdiff
path: root/plugins/ssrmatching/ssrmatching.mli
AgeCommit message (Expand)Author
2016-10-22Renamings to avoid confusion deprecating old namesMatthieu Sozeau
2016-03-02Ssreflect pattern matching facilitiesEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 13:30:46 +0000