From 67976ff28a03fc57690ad792fd5e515010f803a5 Mon Sep 17 00:00:00 2001 From: xleroy 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 --- Changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 65e8e50..321e9ad 100644 --- a/Changelog +++ b/Changelog @@ -1,5 +1,5 @@ -Release 2.00, 2013-06-21 -======================== +Release 2.0, 2013-06-21 +======================= Major improvements: -- cgit v1.2.3