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

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Update to 1.3.7 [1]	Beat Gaetzi	2015-02-16	1	-3/+3
\| \| \| \| \| \| \|	- Reassign to ports@ PR: 197693 [1] Submitted by: Jason Unovitch <jason.unovitch@gmail.com> [1]
*	- Fix build on 10.0-ALPHA [1]	Steve Wills	2013-09-21	1	-0/+11
	- Rename files with :: while here PR: ports/182162 [1] Submitted by: Dan McGregor <dan.mcgregor@usask.ca> [1] Approved by: maintainer (beat, via IRC)