diff options
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")]
|