| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BvdToolWindow.cs | 2258 | logplain |
| -rw-r--r-- | DafnyMenu.csproj | 8304 | logplain |
| -rw-r--r-- | DafnyMenu.vsct | 8640 | logplain |
| -rw-r--r-- | DafnyMenuPackage.cs | 15615 | logplain |
| -rw-r--r-- | GlobalSuppressions.cs | 692 | logplain |
| -rw-r--r-- | Guids.cs | 879 | logplain |
| -rw-r--r-- | PkgCmdID.cs | 572 | logplain |
| d--------- | Properties | 43 | logplain |
| -rw-r--r-- | Resources.Designer.cs | 2852 | logplain |
| -rw-r--r-- | Resources.resx | 6305 | logplain |
| -rw-r--r-- | VSPackage.resx | 5817 | logplain |
| -rw-r--r-- | source.extension.vsixmanifest | 1139 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |