diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-03-21 21:57:51 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-03-21 22:00:58 +0100 |
| commit | a626d57d0206396ea44c178d162b5bbbbd39927a (patch) | |
| tree | f4e02a0aa952c12fafc09dc2650e0272409e4f6a /dev-ada/gnatmem | |
| parent | dev-ada/gpr-unit-provider: drop gcc_12_2_0 (diff) | |
| download | gentoo-a626d57d0206396ea44c178d162b5bbbbd39927a.tar.gz gentoo-a626d57d0206396ea44c178d162b5bbbbd39927a.tar.bz2 gentoo-a626d57d0206396ea44c178d162b5bbbbd39927a.zip | |
dev-ada/ada_language_server: drop gcc_12_2_0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/gnatmem')
0 files changed, 0 insertions, 0 deletions