diff options
author | 2013-07-26 14:35:05 -0700 | |
---|---|---|
committer | 2013-07-26 14:35:05 -0700 | |
commit | 728c229e257646155a11615906afb9cd6daa2f99 (patch) | |
tree | 127554c7dad28847a90ac4499f71c8caff09e9f0 /Source/DafnyMenu/Properties | |
parent | 9cc1b3fffb95ee2e4f0db1d165bdc5c6569f4a32 (diff) |
DafnyExtension: Did some refactoring and worked towards integrating the Dafny menu more tightly.
Diffstat (limited to 'Source/DafnyMenu/Properties')
-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")]
-
-
-
|