summaryrefslogtreecommitdiff
path: root/gcc/ada/get_spark_xrefs.ads
Commit message (Expand)AuthorAgeFilesLines
* adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy2013-04-241-0/+60