diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2021-02-01 17:48:28 +0100 |
|---|---|---|
| committer |   Conrad Kostecki <conikost@gentoo.org> | 2021-02-02 22:38:26 +0100 |
| commit | 02b07e9b214f989113ebf7deed19a16377255007 (patch) | |
| tree | 832d7d2ca7b13e2b4703ad5a1ec55fe3b668f619 /sys-boot | |
| parent | media-plugins/kodi-pvr-vdr-vnsi: remove unused patch(es) (diff) | |
| download | gentoo-02b07e9b214f989113ebf7deed19a16377255007.tar.gz gentoo-02b07e9b214f989113ebf7deed19a16377255007.tar.bz2 gentoo-02b07e9b214f989113ebf7deed19a16377255007.zip | |
dev-ml/ppx_tools: remove unused patch(es)
Closes: https://github.com/gentoo/gentoo/pull/19295
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'sys-boot')
0 files changed, 0 insertions, 0 deletions