author | Arnaud Charlet <charlet@gcc.gnu.org> | |
Tue, 25 Apr 2017 12:39:28 +0000 (14:39 +0200) | ||
committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
Tue, 25 Apr 2017 12:39:28 +0000 (14:39 +0200) | ||
commit | c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a | |
tree | 6488311df9ce6db2ae739c0355750f551a367396 | tree |
parent | 7738270b0ceda07f89c1dd2d75e31ae7bb4f2053 | commit | diff |
gcc/ada/contracts.adb | diff | blob | history |