summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine/VerificationResultCache.cs
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2013-07-23 21:00:37 -0700
committerGravatar wuestholz <unknown>2013-07-23 21:00:37 -0700
commitd3c2801fd211c69c61fcc85e3c3f1a18c3d0f187 (patch)
tree1a1027c484289cf51660c41beea9dc1432edb420 /Source/ExecutionEngine/VerificationResultCache.cs
parent99737bee84e43094394d8827bf5fd50dd1304aec (diff)
Removed the remaining pure collections.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
0 files changed, 0 insertions, 0 deletions