author | Arnaud Charlet <charlet@gcc.gnu.org> | |
Fri, 13 Jan 2017 10:39:38 +0000 (11:39 +0100) | ||
committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
Fri, 13 Jan 2017 10:39:38 +0000 (11:39 +0100) | ||
commit | 3603fa5cfb32ced1402f31b174a3023826745160 | |
tree | e6760add6c9c6fce7091b39302201823702914ee | tree |
parent | 3abbc5c2409fae926307f5321debdf6191cd2152 | commit | diff |
gcc/ada/contracts.adb | diff | blob | history | |
gcc/ada/contracts.ads | diff | blob | history |