source: trunk @ 13234

Name	Size	Rev	Age	Author	Last Change
../
documentation		13229	9 years	mkommend	added new points to plugin merge document
sources	​	13234	9 years	gkronber	#1967: synchronized access to PRNG in …
tools		12226	10 years	mkommend	#2362: Updated debugger visualizer to .Net 4.5.

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true Property svn:mergeinfo set to (toggle deleted branches) /branches/Benchmarking 6917-7005 /branches/NET40 5138-5162