projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d86dc4c 138ae5a)
Merge pull request #1743 from alexrp/profiler-versioning
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Apr 2015 19:25:06 +0000 (15:25 -0400)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Apr 2015 19:25:06 +0000 (15:25 -0400)
Introduce versioning of the profiler API

1  2 
mono/mini/debugger-agent.c patch | diff1 | diff2 | blob | history

diff --cc mono/mini/debugger-agent.c
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono