summaryrefslogtreecommitdiff
path: root/testsuite/gna/ticket19
AgeCommit message (Collapse)Author
2014-12-13PSL: allow labels on psl directives (fix ticket26).Tristan Gingold
2014-06-21Add psl cover directive (ticket19).Tristan Gingold