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/GlobalSuppressions.cs | |
parent | 424c8820500e281b9eca07322183877601de7562 (diff) |
DafnyExtension: minor changes
Diffstat (limited to 'Source/DafnyMenu/GlobalSuppressions.cs')
-rw-r--r-- | Source/DafnyMenu/GlobalSuppressions.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/DafnyMenu/GlobalSuppressions.cs b/Source/DafnyMenu/GlobalSuppressions.cs index 3689ed23..4b115d31 100644 --- a/Source/DafnyMenu/GlobalSuppressions.cs +++ b/Source/DafnyMenu/GlobalSuppressions.cs @@ -1 +1,4 @@ [assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1017:MarkAssembliesWithComVisible")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1703:ResourceStringsShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "resource", Target = "VSPackage.resources")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "type", Target = "DafnyLanguage.DafnyMenu.DafnyMenuPackage")]
|