Beat Gaetzi 99a77e9bd3 - Update to 5.2.12 ... - Add additional MASTER_SITE - Pet portlint - Switch to OptionsNG - Trim Makefile header PR: ports/175190 (based on) Submitted by: Po-Chien Lin <linpc@cs.nctu.edu.tw>		2013-01-20 19:03:20 +00:00
..
distinfo
Makefile
pkg-descr