summaryrefslogtreecommitdiff
path: root/checklink/PPC_types.ml
Commit message (Expand)AuthorAge
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28