diff options
-rw-r--r-- | MOVED | 1 | ||||
-rw-r--r-- | lang/Makefile | 1 |
2 files changed, 1 insertions, 1 deletions
@@ -1391,7 +1391,6 @@ korean/hlatex-wansung||2005-02-18|port was broken or obsolete korean/hlatex-psfonts-wansung||2005-02-18|port was broken or obsolete korean/nhppf||2005-02-18|port was broken or obsolete korean/mozilla-klp||2005-02-18|port was broken or obsolete -lang/mlton||2005-02-18|port was broken or obsolete lang/ruby-ri||2005-02-18|port was broken or obsolete mail/aileron||2005-02-18|port was broken or obsolete mail/cyrus-imapd||2005-02-18|port was broken or obsolete diff --git a/lang/Makefile b/lang/Makefile index 807040332cb3..58acbb43eb1e 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -137,6 +137,7 @@ SUBDIR += mit-scheme SUBDIR += mixal SUBDIR += ml-pnet + SUBDIR += mlton SUBDIR += mmix SUBDIR += mono SUBDIR += moscow_ml |