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

- Update to 5.2.12

2013-01-20 19:03:20 +00:00

Makefile

- Update to 5.2.12

2013-01-20 19:03:20 +00:00

pkg-descr

…