diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2021-03-16 19:02:19 +0100 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2021-03-16 18:50:17 +0000 |
| commit | f4ffccd4759b9d789870be733ba7c7c0545b2a65 (patch) | |
| tree | 0543c7c7d9a3eb759da9b28931fde092ca0b1402 /games-roguelike | |
| parent | dev-ml/ppx_deriving: remove unused patch(es) (diff) | |
| download | gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.tar.gz gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.tar.bz2 gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.zip | |
dev-ml/zarith: remove unused patch(es)
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/19960
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'games-roguelike')
0 files changed, 0 insertions, 0 deletions