ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	. Update to 0.44.	Greg Lewis	2004-10-26	1	-7/+12
\| \| \| \| \|	PR: 72959 Submitted by: Ronald Klop <ronald@cs.vu.nl> (maintainer)
*	- Update to 0.43	Volker Stolz	2004-08-27	1	-8/+4
\| \| \| \| \| \| \|	- Fix packaging PR: ports/70597 Submitted by: Ronald Klop (maintainer)
*	. Update to 0.42. [1]	Greg Lewis	2004-06-25	1	-9/+8
\| \| \| \| \| \| \|	. Don't use jikes with this port (it breaks the build). PR: 68174 [1] Submitted by: Ronald Klop <ronald@cs.vu.nl> (maintainer) [1]
*	. Add the java/jmp port.	Greg Lewis	2003-05-15	1	-0/+15
	JMP is a profiler for java that can be used to trace objects usage and method timings. JMP uses the JVMPI interface to gather statistics and interact with the JVM. JMP uses a GTK+ interface to show the status. PR: 47151, 48474, 50325 Submitted by: Ronald Klop <ronald@cs.vu.nl>