diff options
Diffstat (limited to 'Source/Boogie.sln')
| -rw-r--r-- | Source/Boogie.sln | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index b6859a4a..c83c8770 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -478,6 +478,16 @@ Global $3.inheritsSet = Mono
$3.inheritsScope = text/x-csharp
$3.scope = text/x-csharp
+ $0.TextStylePolicy = $4
+ $4.FileWidth = 120
+ $4.TabWidth = 2
+ $4.IndentWidth = 2
+ $4.inheritsSet = Mono
+ $4.inheritsScope = text/plain
+ $4.scope = text/plain
+ $0.StandardHeader = $5
+ $5.Text =
+ $5.IncludeInNewFiles = True
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
|