| author | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Tue, 25 Apr 2017 13:06:11 +0000 (15:06 +0200) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Tue, 25 Apr 2017 13:06:11 +0000 (15:06 +0200) | ||
| commit | 884f97cc82df643671e6df4ed43a49518311022a | |
| tree | 4b38a085cf157105a6c6ce702ee86366213b09b2 | tree |
| parent | 7c145456112cd84950e86cbffb02d15391790eee | commit | diff |
| gcc/ada/contracts.adb | diff | blob | history |