author | Arnaud Charlet <charlet@gcc.gnu.org> | |
Thu, 13 Oct 2016 12:55:07 +0000 (14:55 +0200) | ||
committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
Thu, 13 Oct 2016 12:55:07 +0000 (14:55 +0200) | ||
commit | 07820c51656042bbed6eb9661d33d4bec1f04c47 | |
tree | 151e716580440504bdb8f192bc8c81b637af905f | tree |
parent | 5dc203d228f3bafc063278e4b6ef7954300b3908 | commit | diff |
gcc/ada/contracts.adb | diff | blob | history |