[MLton-commit] r7135

[Matthew Fluet]

Unnecessary .ignore.
----------------------------------------------------------------------

_U  mlton/trunk/runtime/basis/Real/
D   mlton/trunk/runtime/basis/Real/.ignore

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


Property changes on: mlton/trunk/runtime/basis/Real
___________________________________________________________________
Name: svn:ignore
   - real-basis.c


Deleted: mlton/trunk/runtime/basis/Real/.ignore
===================================================================
--- mlton/trunk/runtime/basis/Real/.ignore	2009-06-11 03:30:51 UTC (rev 7134)
+++ mlton/trunk/runtime/basis/Real/.ignore	2009-06-11 03:37:02 UTC (rev 7135)
@@ -1 +0,0 @@
-real-basis.c