aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3563.v
Commit message (Expand)AuthorAge
* Fix test-suite files, and move some opened to closed.Gravatar Matthieu Sozeau2014-09-11
* Fix bug #3563, making syntactic matching of primitive projectionsGravatar Matthieu Sozeau2014-09-04