diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-05-24 19:35:56 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-05-24 20:44:24 -0400 |
| commit | 44bbe2e60f2a6d44ac131a506577279a1dedbfa9 (patch) | |
| tree | 7d880c30101e106440f02e3af73692c8d8acc5f9 /app-metrics/pushgateway | |
| parent | media-sound/orpheus: remove unused patch (diff) | |
| download | gentoo-44bbe2e60f2a6d44ac131a506577279a1dedbfa9.tar.gz gentoo-44bbe2e60f2a6d44ac131a506577279a1dedbfa9.tar.bz2 gentoo-44bbe2e60f2a6d44ac131a506577279a1dedbfa9.zip | |
net-print/mtink: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/8558
Diffstat (limited to 'app-metrics/pushgateway')
0 files changed, 0 insertions, 0 deletions