diff options
author | Maik Schreiber <blizzy@gentoo.org> | 2002-10-19 12:27:49 +0000 |
---|---|---|
committer | Maik Schreiber <blizzy@gentoo.org> | 2002-10-19 12:27:49 +0000 |
commit | f180d9188c037dbf09553c8578f22dc8f21b6aae (patch) | |
tree | b4e9b1916c15168d239002cd15fc51e3a928d840 | |
parent | re-enabled compilation with >=jikes-1.17 (diff) | |
download | gentoo-2-f180d9188c037dbf09553c8578f22dc8f21b6aae.tar.gz gentoo-2-f180d9188c037dbf09553c8578f22dc8f21b6aae.tar.bz2 gentoo-2-f180d9188c037dbf09553c8578f22dc8f21b6aae.zip |
added =dev-java/jikes-1.16
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 510336437ad4..2749a923bd57 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -21,6 +21,10 @@ ## End example ## +# <blizzy@gentoo.org> (19 Oct 2002) +# 1.16 breaks jEdit, better use >=1.17 +=dev-java/jikes-1.16 + # <jhhudso@gentoo.org> (18 Oct 2002) # Masking pending an unfreeze. >=net-dns/djbdns-1.05-r4 |