projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 326caca c5a914b)
Merge pull request #3116 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 7 Jun 2016 01:35:36 +0000 (03:35 +0200)
committerAlex Rønne Petersen <alex@alexrp.com>
Tue, 7 Jun 2016 01:35:36 +0000 (03:35 +0200)
Some improvements to the profiler makefile


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