]>
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 | blame | history |