From b59b2b182a6832e1b6ebf3cf7ba4fd1943843b74 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 1 Jul 2015 17:25:44 +0200
Subject: Removed the version from the compcert.ini file and add it again in a
 separate file.

---
 VERSION | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 6b4950e3..5d18e418 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1,3 @@
-2.4
+version=2.5
+buildnr=
+tag=
\ No newline at end of file
-- 
cgit