summaryrefslogtreecommitdiffstats
path: root/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet
Commit message (Collapse)AuthorAgeFilesLines
* Removes all traces of MS Code Contracts.Andrew Arnott2012-12-261-38/+0
|
* Fixed line-endings.Andrew Arnott2010-08-011-38/+38
|
* Upgraded to Code Contracts 1.4.30707.2.Andrew Arnott2010-08-011-38/+38
|
* Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵Andrew Arnott2010-04-251-0/+38
machines, and for reproducible builds.