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

	Commit message (Collapse)	Author	Age	Files	Lines
*	linux_devtools is the reincarnation of linux_devel and obsoletes both	Marcel Moolenaar	1999-07-21	1	-1/+18
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	linux_devel and linux-devel. Both will be removed from the ports collection at the proper time. linux_devtools uses Red Hat 5.2 packages to install a basic development environment. There's no functional difference between linux-devel and linux_devtools. The name of the latter is preferred over the name of the former. This port is repository copied from linux_devel. New name by: obrien Reviewed by: hoek Supervised by: asami
*	may as well sync this with the linux_lib port	Eric L. Hernes	1997-04-14	1	-1/+1
\|
*	new port for linux_devel, The linux cross-development stuff	Eric L. Hernes	1996-11-26	1	-0/+1