diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-12-08 14:20:02 +0100 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2019-12-08 10:53:00 -0500 |
| commit | 3f4f3f51e86f6dbf9ecdfe467cf2856189de3463 (patch) | |
| tree | 54552b2434b7377a82769909ab7b30147d62bca6 /dev-ruby | |
| parent | dev-ada/xmlada: remove unused patch (diff) | |
| download | gentoo-3f4f3f51e86f6dbf9ecdfe467cf2856189de3463.tar.gz gentoo-3f4f3f51e86f6dbf9ecdfe467cf2856189de3463.tar.bz2 gentoo-3f4f3f51e86f6dbf9ecdfe467cf2856189de3463.zip | |
dev-lang/gnat-gpl: remove unused patch
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13921
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-ruby')
0 files changed, 0 insertions, 0 deletions