Gabor Pali 65850e4e40 - Unbreak build ... - Update master sites - Prevent building documentation when NOPORTDOCS defined - Fix dependency on math/mingw32-libgmp4 - Adapt boostrap to the recent GMP update - Respect LOCALBASE (added by pgj) PR: ports/147278 Submitted by: Vitaly Magerya <vmagerya@gmail.com> Approved by: maintainer Feature safe: yes		2010-06-22 22:08:57 +00:00
..
files	- Unbreak build	2010-06-22 22:08:57 +00:00
distinfo	This patch adds three features to the lang/mlton port:	2008-12-10 08:44:24 +00:00
Makefile	- Unbreak build	2010-06-22 22:08:57 +00:00
pkg-descr
pkg-plist	This patch adds three features to the lang/mlton port:	2008-12-10 08:44:24 +00:00