From 4414aaa31fe17d0e6bed88e708e134b7d4c09334 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Sep 2014 09:04:12 +0000
Subject: Trim blank lines

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2625 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 VERSION | 2 --
 1 file changed, 2 deletions(-)

diff --git a/VERSION b/VERSION
index dd0e7d1..6b4950e 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1 @@
 2.4
-
-
-- 
cgit v1.2.3