From 67976ff28a03fc57690ad792fd5e515010f803a5 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 21 Jun 2013 08:13:28 +0000
Subject: Version 2.00 -> version 2.0

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index e7526276..35fa6ad9 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-2.00
+2.0
 
 
 
-- 
cgit