package info
(click to toggle)
Folder: DafnyMenu
.. (parent) | ||||
d | rwxr-xr-x | 36 | Properties | |
- | rw-r--r-- | 2,189 | BvdToolWindow.cs | |
- | rw-r--r-- | 11,250 | DafnyMenu.csproj | |
- | rw-r--r-- | 9,796 | DafnyMenu.vsct | |
- | rw-r--r-- | 20,868 | DafnyMenuPackage.cs | |
- | rw-r--r-- | 685 | GlobalSuppressions.cs | |
- | rw-r--r-- | 1,061 | Guids.cs | |
- | rw-r--r-- | 708 | PkgCmdID.cs | |
- | rw-r--r-- | 2,790 | Resources.Designer.cs | |
- | rw-r--r-- | 6,174 | Resources.resx | |
- | rw-r--r-- | 5,695 | VSPackage.resx | |
- | rw-r--r-- | 2,469 | packages.config | |
- | rw-r--r-- | 1,421 | source.extension.vsixmanifest |