summaryrefslogtreecommitdiffstats
path: root/testsuite/external/coq-8.4pl1.patch
AgeCommit message (Expand)Author
2013-11-27update for latest trunk changesDamien Doligez