projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bc50c66 3f23554)
Merge pull request #2057 from directhex/monolite-on-jenkins
authorJoão Matos <joao@tritao.eu>
Sun, 27 Sep 2015 13:11:51 +0000 (14:11 +0100)
committerJoão Matos <joao@tritao.eu>
Sun, 27 Sep 2015 13:11:51 +0000 (14:11 +0100)
Move monolite URL to Jenkins, not Boston NAS


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