dev-util/hadolint: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Fri, 11 Oct 2019 15:03:55 +0000 (17:03 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 11 Oct 2019 15:03:55 +0000 (17:03 +0200)
commitbb0dca080cdf39449e9f2796c8995b38b11833ee
tree44fd0d4e76df2a2bb6eb91ece6776c8b84ee6b78
parent844c30aac22b7b57e2e495417a9e2f0f8cbdfb1b
dev-util/hadolint: Remove last-rited pkg

Closes: https://bugs.gentoo.org/674660
Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-util/hadolint/Manifest [deleted file]
dev-util/hadolint/hadolint-1.12.0.ebuild [deleted file]
dev-util/hadolint/metadata.xml [deleted file]
profiles/package.mask