author | Arnaud Charlet <charlet@gcc.gnu.org> | |
Thu, 19 Jan 2017 13:14:04 +0000 (14:14 +0100) | ||
committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
Thu, 19 Jan 2017 13:14:04 +0000 (14:14 +0100) | ||
commit | 332429c807f56de7948885368277723a7a5ac0ac | |
tree | 1a9c1687acacfdc07e3eca81776e3635d83c445d | tree |
parent | 7c323fbe3bdff58d4081e4706d24c17f4bb36f8a | commit | diff |
gcc/ada/contracts.adb | diff | blob | history |