diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2022-10-07 22:20:48 +0200 |
|---|---|---|
| committer |   Conrad Kostecki <conikost@gentoo.org> | 2022-10-15 21:33:39 +0200 |
| commit | 80b5e2bb82b9bd88a9daeaa8cef0cc44f2340f32 (patch) | |
| tree | c5c11a2c044be79aceeddcbdb2966cd5e9e61782 /dev-python/path-and-address | |
| parent | media-fonts/source-sans: remove unused file (diff) | |
| download | gentoo-80b5e2bb82b9bd88a9daeaa8cef0cc44f2340f32.tar.gz gentoo-80b5e2bb82b9bd88a9daeaa8cef0cc44f2340f32.tar.bz2 gentoo-80b5e2bb82b9bd88a9daeaa8cef0cc44f2340f32.zip | |
dev-util/jenkins-bin: remove unused file
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/27685
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-python/path-and-address')
0 files changed, 0 insertions, 0 deletions