aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/spark_xrefs_test.adb
AgeCommit message (Expand)AuthorFilesLines
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-0/+321