diff options
author | Jakov Smolić <jsmolic@gentoo.org> | 2022-02-13 10:07:44 +0100 |
---|---|---|
committer | Jakov Smolić <jsmolic@gentoo.org> | 2022-02-13 10:11:43 +0100 |
commit | c113dffcc3c069a724b2a224c958ac4f0a621361 (patch) | |
tree | 23b317417b2e90089485a0ac55444b3180fea738 /profiles | |
parent | dev-java/xmldb: treeclean (diff) | |
download | gentoo-c113dffcc3c069a724b2a224c958ac4f0a621361.tar.gz gentoo-c113dffcc3c069a724b2a224c958ac4f0a621361.tar.bz2 gentoo-c113dffcc3c069a724b2a224c958ac4f0a621361.zip |
dev-java/unkrig-nullanalysis: treeclean
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
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 a718e5e0aaaf..3d33c3fbbd01 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -241,7 +241,6 @@ dev-java/tijmp dev-java/tomcat-jstl-impl dev-java/touchgraph-graphlayout dev-java/trove -dev-java/unkrig-nullanalysis # Ulrich Müller <ulm@gentoo.org> (2022-01-15) # Pretest versions, masked for testing. |