[MLton-commit] r7121

Matthew Fluet fluet at mlton.org
Wed Jun 10 20:23:22 PDT 2009


Update .ignore.
----------------------------------------------------------------------

U   mlton/trunk/mlton/.ignore

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/.ignore
===================================================================
--- mlton/trunk/mlton/.ignore	2009-06-11 03:23:18 UTC (rev 7120)
+++ mlton/trunk/mlton/.ignore	2009-06-11 03:23:22 UTC (rev 7121)
@@ -1,5 +1,5 @@
 mlton-compile
 mlton-compile.exe
-mlton.sml
+mlton-polyml.use
+mlton-stubs.mlb
 upgrade-basis.sml
-mlton-polyml.use




More information about the MLton-commit mailing list