summaryrefslogtreecommitdiffstats
path: root/tools/Contracts/Languages/CSharp
Commit message (Collapse)AuthorAgeFilesLines
* Removes all traces of MS Code Contracts.Andrew Arnott2012-12-2620-622/+0
|
* Fixed more line-endings.Andrew Arnott2010-08-028-249/+249
|
* Fixed line-endings.Andrew Arnott2010-08-0112-373/+373
|
* Upgraded to Code Contracts 1.4.30707.2.Andrew Arnott2010-08-0120-622/+622
|
* Upgraded to Code Contracts 1.4.30601.2Andrew Arnott2010-06-102-1/+46
|
* Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵Andrew Arnott2010-04-2519-0/+577
machines, and for reproducible builds.