Pav Lucistnik 0eca88d377 This port has been broken for 3+ months, thus ... - Mark DEPRECATED and schedule for expiration in one month With hat: portmgr		2009-12-08 14:30:09 +00:00
..
files	This patch adds three features to the lang/mlton port:	2008-12-10 08:44:24 +00:00
distinfo	This patch adds three features to the lang/mlton port:	2008-12-10 08:44:24 +00:00
Makefile	This port has been broken for 3+ months, thus	2009-12-08 14:30:09 +00:00
pkg-descr
pkg-plist	This patch adds three features to the lang/mlton port:	2008-12-10 08:44:24 +00:00