author | Arnaud Charlet <charlet@gcc.gnu.org> | |
Tue, 25 Apr 2017 09:25:55 +0000 (11:25 +0200) | ||
committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
Tue, 25 Apr 2017 09:25:55 +0000 (11:25 +0200) | ||
commit | bfda9ccde6ae7aad1d259e6ebc29fc8f0af3f154 | |
tree | 620d0169e185f5c58d7e2fb05ea77b9573cb7c52 | tree |
parent | ded462b0dea5615ac36e1256caffa5f2c7f5f1b8 | commit | diff |
gcc/ada/contracts.adb | diff | blob | history |