diff options
author | wuestholz <unknown> | 2013-05-27 14:59:22 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-27 14:59:22 -0700 |
commit | 89b99153fda8cf5ea90cd0930aaf057fba011621 (patch) | |
tree | e96c7697dc947805d1a9f33deb0152114a074937 /Source/DafnyMenu/DafnyMenu.csproj | |
parent | 424c8820500e281b9eca07322183877601de7562 (diff) |
DafnyExtension: minor changes
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.csproj')
-rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj index e3500e26..11700ea4 100644 --- a/Source/DafnyMenu/DafnyMenu.csproj +++ b/Source/DafnyMenu/DafnyMenu.csproj @@ -30,6 +30,7 @@ <ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
<CopyVsixExtensionFiles>False</CopyVsixExtensionFiles>
+ <CodeAnalysisRuleSet>AllRules.ruleset</CodeAnalysisRuleSet>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
<DebugType>pdbonly</DebugType>
|