Ernst de Haan 44e810e3d7 Upgrade to JUMP 0.2.		2002-06-13 17:49:48 +00:00
..
distinfo	Upgrade to JUMP 0.2.	2002-06-13 17:49:48 +00:00
Makefile	Upgrade to JUMP 0.2.	2002-06-13 17:49:48 +00:00
pkg-comment
pkg-descr
pkg-plist	Now removes ${PREFIX}/share/java after deinstallation if it	2002-06-13 14:24:42 +00:00