[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