]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d214ea) | patch
Remove obsolete comment and add missing header
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 10 May 2021 21:25:45 +0000 (23:25 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 10 May 2021 21:25:45 +0000 (23:25 +0200)
commita1b10eec36aa7aa32757fcdde3b53865d383399c
tree36266e63c7b6f38427974a276a0f77eae829aa57tree | snapshot
parent1d214ea552a4986a10819816610069041bde1821commit | diff
Remove obsolete comment and add missing header

gcc/ada/
* atree.adb (Zero_Slots): Remove obsolete comment and add header.
gcc/ada/atree.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git