[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