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/DafnyExtension/DafnyExtension.csproj | |
parent | 424c8820500e281b9eca07322183877601de7562 (diff) |
DafnyExtension: minor changes
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 844699ee..faf48319 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -69,6 +69,7 @@ <CopyVsixExtensionFiles>False</CopyVsixExtensionFiles>
<CopyVsixExtensionLocation>
</CopyVsixExtensionLocation>
+ <CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
<DebugType>pdbonly</DebugType>
|