projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6e53b2) | patch
dev-embedded/scratchbox-devkit-doctools: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Fri, 27 Sep 2019 06:05:59 +0000 (08:05 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 27 Sep 2019 06:08:01 +0000 (08:08 +0200)
commitafcb45e0ed4c37994c7f3e1517917d74cefe8568
tree11a554388479015fe46a3ebcd6d90eb56bd353e3tree | snapshot
parente6e53b2d9dab9b22439d00a0bb8b4d0a39a61dd0commit | diff
dev-embedded/scratchbox-devkit-doctools: Remove last-rited pkg

Closes: https://bugs.gentoo.org/681168
Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-embedded/scratchbox-devkit-doctools/Manifest [deleted file] blob | history
dev-embedded/scratchbox-devkit-doctools/metadata.xml [deleted file] blob | history
dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.13.ebuild [deleted file] blob | history
dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.14.ebuild [deleted file] blob | history
dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.9.ebuild [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.