diff options
| author |  tabarbe <unknown> | 2010-07-22 21:20:32 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-22 21:20:32 +0000 |
| commit | de56b21b1639077179284d909832702b300ba527 (patch) | |
| tree | 086f6071bb0ca269a7e66f198f9e4362049bd516 /Source | |
| parent | 589fb634c9cff46508bdf5c1ef2929524fdc8f6a (diff) | |
Boogie: This file is no longer necessary, with how the csproj file is structured.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/Z3/AssemblyInfo.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/Provers/Z3/AssemblyInfo.cs b/Source/Provers/Z3/AssemblyInfo.cs deleted file mode 100644 index ed1d3451..00000000 --- a/Source/Provers/Z3/AssemblyInfo.cs +++ /dev/null @@ -1,4 +0,0 @@ -using System.Reflection;
-using System.Runtime.CompilerServices;
-
-[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]
|