diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-09-28 15:19:43 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-09-28 17:00:36 +0200 |
| commit | d983b8a2d963f5fc56ebfe3e386e265ba2abb18c (patch) | |
| tree | 950d6e3e42eaf036ac7f6bfb62224c1a2cfdfae7 /virtual | |
| parent | dev-util/0xtools: replace xtop launcher (diff) | |
| download | gentoo-d983b8a2d963f5fc56ebfe3e386e265ba2abb18c.tar.gz gentoo-d983b8a2d963f5fc56ebfe3e386e265ba2abb18c.tar.bz2 gentoo-d983b8a2d963f5fc56ebfe3e386e265ba2abb18c.zip | |
dev-lang/eisl: drop old 5.10
Closes: https://bugs.gentoo.org/938121
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'virtual')
0 files changed, 0 insertions, 0 deletions