diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:12:05 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:15:41 +0200 |
| commit | eb1fd1dbf5c543ac2d5836e413e21fa8656c371c (patch) | |
| tree | 5962e3469ca4d52bb019a524635868438a669de5 /profiles | |
| parent | x11-misc/gtkdialog: Add live ebuild. (diff) | |
| download | gentoo-eb1fd1dbf5c543ac2d5836e413e21fa8656c371c.tar.gz gentoo-eb1fd1dbf5c543ac2d5836e413e21fa8656c371c.tar.bz2 gentoo-eb1fd1dbf5c543ac2d5836e413e21fa8656c371c.zip | |
dev-java/jdom: Remove old masked version
Bug: https://bugs.gentoo.org/559994
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 60c767bb582e..eddffc55f0ec 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -225,7 +225,6 @@ dev-java/sun-jacc-api # Obsolete package not needed for a long time, bug #559994. Removal in a # month. dev-java/jdom-jaxen -=dev-java/jdom-1.0-r4 # Pacho Ramos <pacho@gentoo.org> (17 Jun 2018) # Dead since 2013, not compatible with latest profiles (#642568). Removal in |