From 3f60cd1c130199a40fc8528a861a35ae45b7c682 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 16 Jun 2013 07:52:25 +0000
Subject: Update version number

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index fda763cb..e7526276 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1,4 @@
-1.13
+2.00
+
 
 
-- 
cgit