projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5611946 18201dd)
Merge pull request #912 from Treer/patch-1
authorMiguel de Icaza <miguel@gnome.org>
Thu, 27 Feb 2014 04:09:19 +0000 (23:09 -0500)
committerMiguel de Icaza <miguel@gnome.org>
Thu, 27 Feb 2014 04:09:19 +0000 (23:09 -0500)
[FIX] mono-xmltool can't write to a file when prettyprinting, and corrupts the input file.


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono