projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f191b2c) | patch
[Ada] AI12-0318 No_IO should apply to Ada.Directories
authorArnaud Charlet <charlet@adacore.com>
Fri, 31 Jan 2020 11:22:26 +0000 (06:22 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:37 +0000 (08:17 -0400)
commit79d09a491c9ca17e2159d73e0e9855d64d6fa7cf
tree9fd282ff88844507922e6552391d1787f422a6a9tree
parentf191b2c8646a8d37a869752919fbfbe39a94cc72commit | diff
[Ada] AI12-0318 No_IO should apply to Ada.Directories

2020-06-05  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* restrict.ads (Unit_Array): Add a-direct.
gcc/ada/restrict.ads diff | blob | history