diff options
author | tabarbe <unknown> | 2010-07-19 20:29:50 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-07-19 20:29:50 +0000 |
commit | 4a0723a7c122f78f7e6808a4ed9a48d2d58b210f (patch) | |
tree | 4567b25e426a90124a5fe9d9334088dc5b80c28f | |
parent | e754218603460ae256a71d45b56ab5389087afd3 (diff) |
Boogie: Forgot to check in this file. Hope no one tried to rebuild without it. Sorry.
-rw-r--r-- | Source/BoogieDriver/version.cs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Source/BoogieDriver/version.cs b/Source/BoogieDriver/version.cs new file mode 100644 index 00000000..2804c330 --- /dev/null +++ b/Source/BoogieDriver/version.cs @@ -0,0 +1,8 @@ +//-----------------------------------------------------------------------------
+//
+// Copyright (C) Microsoft Corporation. All Rights Reserved.
+//
+//-----------------------------------------------------------------------------
+using System.Reflection;
+[assembly: AssemblyVersion("2.0.0.0")]
+[assembly: AssemblyFileVersion("2.0.0.0")]
|