summaryrefslogtreecommitdiff
path: root/testsuites/ada/mptests/mp13/mptest.ads (follow)
AgeCommit message (Expand)Author
2019-11-12ada/mptests: Make them compile cleanSebastian Huber
2017-10-12ada-tests: Move to testsuites/adaSebastian Huber