[MLton-commit] r7133

[Matthew Fluet]

Sync ignore.
----------------------------------------------------------------------

_U  mlton/trunk/mlton/

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


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

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