summaryrefslogtreecommitdiffstats
path: root/testsuite/external/coq-8.3pl4.patch
AgeCommit message (Expand)Author
2012-08-01extended test suite: significant programs from outside our teamDamien Doligez