projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 36d4145 d7e2c40)
Merge pull request #4053 from xmcclure/babysitter_cygwin
authorAndi McClure <andi.mcclure@xamarin.com>
Thu, 1 Dec 2016 22:01:55 +0000 (17:01 -0500)
committerGitHub <noreply@github.com>
Thu, 1 Dec 2016 22:01:55 +0000 (17:01 -0500)
Fix babysitter script to work on Windows (Cygwin) builders


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