diff options
Diffstat (limited to 'Source/DafnyMenu/Properties/AssemblyInfo.cs')
-rw-r--r-- | Source/DafnyMenu/Properties/AssemblyInfo.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/DafnyMenu/Properties/AssemblyInfo.cs b/Source/DafnyMenu/Properties/AssemblyInfo.cs index 91380a74..b1a5687d 100644 --- a/Source/DafnyMenu/Properties/AssemblyInfo.cs +++ b/Source/DafnyMenu/Properties/AssemblyInfo.cs @@ -1,7 +1,6 @@ using System;
using System.Reflection;
using System.Resources;
-using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
// General Information about an assembly is controlled through the following
@@ -31,6 +30,3 @@ using System.Runtime.InteropServices; [assembly: AssemblyVersion("1.0.0.0")]
[assembly: AssemblyFileVersion("1.0.0.0")]
-
-
-
|