| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BoogieLanguageService.csproj | 8758 | logplain |
| -rw-r--r-- | Configuration.cs | 978 | logplain |
| -rw-r--r-- | GlobalSuppressions.cs | 591 | logplain |
| -rw-r--r-- | Grammar.cs | 14739 | logplain |
| -rw-r--r-- | Guids.cs | 483 | logplain |
| d--------- | Integration | 465 | logplain |
| -rw-r--r-- | IronyLanguageServicePackage.cs | 4292 | logplain |
| -rw-r--r-- | Key.snk | 596 | logplain |
| d--------- | Properties | 43 | logplain |
| -rw-r--r-- | Resources.Designer.cs | 2769 | logplain |
| -rw-r--r-- | Resources.resx | 6316 | logplain |
| d--------- | Resources | 37 | logplain |
| -rw-r--r-- | VSPackage.resx | 5992 | logplain |
| -rw-r--r-- | source.extension.vsixmanifest | 926 | logplain |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |