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

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Update to 20140826-r5761	Nicola Vitale	2015-09-26	1	-2/+2
\| \| \| \| \|	PR: 202481 Submitted by: Sergey V. Brunov <sergey.v.brunov@gmail.com>
*	- Get Rid MD5 support	Martin Wilke	2011-03-20	1	-1/+0
\|
*	- Update to 20100913.r5387	Nicola Vitale	2010-09-15	1	-3/+3
\|
*	- Update to 20080904.r4668	Nicola Vitale	2008-10-07	1	-3/+3
\|
*	- Update to 20080106.0744	Nicola Vitale	2008-01-25	1	-3/+3
\|
*	- Update to 20070828.1759	Nicola Vitale	2007-12-22	1	-3/+3
\|
*	- Updated to 20070130.2255	Nicola Vitale	2007-02-02	1	-3/+3
\| \| \| \|	Approved by: alexbl (mentor, implicit)
*	- Update to 20061025.1556	Rong-En Fan	2006-11-08	1	-3/+3
\| \| \| \| \|	PR: ports/105244 Submitted by: Nicola Vitale (maintainer)
*	- Update to 20060918.1737	Rong-En Fan	2006-09-23	1	-3/+3
\| \| \| \| \|	PR: ports/103487 Submitted by: Nicola Vitale <nivit at email.it> (maintainer)
*	DrJava is a lightweight development environment for writing Java programs.	Ion-Mihai Tetcu	2006-07-01	1	-0/+3
	It is designed primarily for students, providing an intuitive interface and the ability to interactively evaluate Java code. It also includes powerful features for more advanced users. DrJava is available for free under the DrJava Open Source License, and it is under active development by the JavaPLT group at Rice University. WWW: http://www.drjava.org PR: ports/95712 Submitted by: Nicola Vitale <nivit@email.it>