projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0f996d6 0b3e113)
Merge pull request #3089 from alexanderkyte/mobile_static_jenkins_script
authorAlexander Kyte <alexmkyte@gmail.com>
Tue, 14 Jun 2016 22:24:26 +0000 (18:24 -0400)
committerGitHub <noreply@github.com>
Tue, 14 Jun 2016 22:24:26 +0000 (18:24 -0400)
[mobile_static] Update jenkins build script for mobile_static profile

1  2 
Makefile.am patch | diff1 | diff2 | blob | history

diff --cc Makefile.am
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono