| 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 |