]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sa_messages.adb
[Ada] Bump copyright year
[thirdparty/gcc.git] / gcc / ada / sa_messages.adb
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-08-21  Pierre-Marie de... [Ada] Add sa_messages.ad[sb] for SPARK 2014