From 95d8b3cb7e25bd79ad3aa7b9a6439755edeef525 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 5 May 2014 13:30:13 +0000
Subject: Update for release 2.3.

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index c3519eab..bb576dbd 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1 @@
 2.3
-
-
-- 
cgit