dev-embedded/scratchbox-devkit-doctools: Remove last-rited pkg

Closes: https://bugs.gentoo.org/681168 Signed-off-by: Michał Górny <[email protected]>
johu · Sep 27, 2019 · afcb45e · afcb45e
1 parent e6e53b2
commit afcb45e
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 99 deletions.
diff --git a/dev-embedded/scratchbox-devkit-doctools/Manifest b/dev-embedded/scratchbox-devkit-doctools/Manifest
diff --git a/dev-embedded/scratchbox-devkit-doctools/metadata.xml b/dev-embedded/scratchbox-devkit-doctools/metadata.xml
diff --git a/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.13.ebuild b/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.13.ebuild
diff --git a/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.14.ebuild b/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.14.ebuild
diff --git a/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.9.ebuild b/dev-embedded/scratchbox-devkit-doctools/scratchbox-devkit-doctools-1.0.9.ebuild
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -1094,7 +1094,6 @@ dev-embedded/scratchbox-devkit-apt-https
 dev-embedded/scratchbox-devkit-cputransp
 dev-embedded/scratchbox-devkit-debian
 dev-embedded/scratchbox-devkit-debian-squeeze
-dev-embedded/scratchbox-devkit-doctools
 
 # Miroslav Šulc <[email protected]> (2019-08-19)
 # Depends on >=virtual/{jdk,jre}-11 which is masked