From db13b36b1672487679b11d2b30b7c7b60c8285e7 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Thu, 16 Oct 2014 16:56:14 -0700
Subject: Updated Boogie version number to 2.3.0.61016.  This version is now
 going out on rise4fun.com.

---
 Source/version.cs | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

(limited to 'Source/version.cs')

diff --git a/Source/version.cs b/Source/version.cs
index fd211b1c..b5d63a7f 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,12 +1,4 @@
-// ==++==
-// 
-//   
-// 
-// ==--==
-// Warning: Automatically generated file. DO NOT EDIT
-// Generated at Dienstag, 5. Juli 2011 11:26:45
-
 using System.Reflection;
-[assembly: AssemblyVersion("2.2.30705.1126")]
-[assembly: AssemblyFileVersion("2.2.30705.1126")]
-
+// Version 2.3.0; year 2008+6, month 10, day 16
+[assembly: AssemblyVersion("2.3.0.61016")]
+[assembly: AssemblyFileVersion("2.3.0.61016")]
-- 
cgit v1.2.3