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