projects
/
mono.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
a96ca57
435c2c4
)
Merge pull request #1639 from alexrp/profiler-mingw
author
João Matos
<joao@tritao.eu>
Wed, 18 Mar 2015 16:27:28 +0000
(16:27 +0000)
committer
João Matos
<joao@tritao.eu>
Wed, 18 Mar 2015 16:27:28 +0000
(16:27 +0000)
[profiler] Don't build the profiler on Windows.
Trivial merge