/tools/Contracts/MsBuild/v4.0/

• ../
• Microsoft.CodeContracts.targets