Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removes all traces of MS Code Contracts. | Andrew Arnott | 2012-12-26 | 105 | -13721/+0 |
| | |||||
* | Fixed more line-endings. | Andrew Arnott | 2010-08-02 | 8 | -249/+249 |
| | |||||
* | Fixed line-endings. | Andrew Arnott | 2010-08-01 | 37 | -2809/+2809 |
| | |||||
* | Upgraded to Code Contracts 1.4.30707.2. | Andrew Arnott | 2010-08-01 | 103 | -4621/+4617 |
| | |||||
* | Updated Code Contracts to 1.4.30629.0 | Andrew Arnott | 2010-07-03 | 61 | -4682/+5295 |
| | |||||
* | Upgraded to Code Contracts 1.4.30601.2 | Andrew Arnott | 2010-06-10 | 63 | -4645/+6512 |
| | |||||
* | Added missing Code Contracts Bin files. | Andrew Arnott | 2010-04-26 | 11 | -0/+24 |
| | |||||
* | Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵ | Andrew Arnott | 2010-04-25 | 96 | -0/+11221 |
machines, and for reproducible builds. |