| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Removes all traces of MS Code Contracts. | Andrew Arnott | 2012-12-26 | 1 | -31/+0 |
| | | |||||
| * | Fixed line-endings. | Andrew Arnott | 2010-08-01 | 1 | -31/+31 |
| | | |||||
| * | Upgraded to Code Contracts 1.4.30707.2. | Andrew Arnott | 2010-08-01 | 1 | -31/+31 |
| | | |||||
| * | Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵ | Andrew Arnott | 2010-04-25 | 1 | -0/+31 |
| machines, and for reproducible builds. | |||||
 |
index : DotNetOpenAuth | |
| Unnamed repository; edit this file 'description' to name the repository. | Erik Andersson |
| summaryrefslogtreecommitdiffstats |
path: root/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet