wurms gitweb - mono.git/commit

author	Rodrigo Kumpera <kumpera@gmail.com>
	Mon, 12 Jun 2017 23:36:53 +0000 (16:36 -0700)
committer	Rodrigo Kumpera <kumpera@gmail.com>
	Tue, 13 Jun 2017 19:52:53 +0000 (12:52 -0700)
commit	6ccea37726907a4736d538f4823fb5dd193621d4
tree	e12ebec53f21cb5ee61a12f88158d3f69009b738	tree \| snapshot
parent	ccda92d89616ffd38a762155fb7050e1659c2248	commit \| diff

[profiler] Add + prefix to file names to append the pid. This makes enabling it with env vars doable.

mono/profiler/log-args.c		diff \| blob \| history
mono/profiler/log.c		diff \| blob \| history

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