| author | Piotr Trojanek <trojanek@adacore.com> | |
| Wed, 29 Apr 2020 16:52:22 +0000 (18:52 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Fri, 19 Jun 2020 08:17:17 +0000 (04:17 -0400) | ||
| commit | 545ba471c1444c65549f2b4a1545c0de83b40a78 | |
| tree | dcedf568c50bef8cb31c238a4707dd8db605dd93 | tree |
| parent | 6c89a5815ae10e7506cd25a6e55d5ed4774dc199 | commit | diff |
| gcc/ada/checks.ads | diff | blob | history |