[MLton-commit] r7134

[Matthew Fluet]

Add mlton.def-use to .ignore.
----------------------------------------------------------------------

_U  mlton/trunk/mlton/
U   mlton/trunk/mlton/.ignore

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


Property changes on: mlton/trunk/mlton
___________________________________________________________________
Name: svn:ignore
   - mlton-compile
mlton-compile.exe
mlton-polyml
mlton-polyml.exe
mlton-polyml.use
mlton-smlnj.*-*
mlton-stubs.mlb
upgrade-basis.sml

   + mlton-compile
mlton-compile.exe
mlton-polyml
mlton-polyml.exe
mlton-polyml.use
mlton-smlnj.*-*
mlton-stubs.mlb
mlton.def-use
upgrade-basis.sml


Modified: mlton/trunk/mlton/.ignore
===================================================================
--- mlton/trunk/mlton/.ignore	2009-06-11 03:29:22 UTC (rev 7133)
+++ mlton/trunk/mlton/.ignore	2009-06-11 03:30:51 UTC (rev 7134)
@@ -5,4 +5,5 @@
 mlton-polyml.use
 mlton-smlnj.*-*
 mlton-stubs.mlb
+mlton.def-use
 upgrade-basis.sml