From e1e81b96cfcc2c4596a018e119853a82df43337c Mon Sep 17 00:00:00 2001
From: jfiat <jfiat@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 1 Jul 2020 08:55:22 +0000
Subject: [PATCH] Updated to 20.05

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2255 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 documentation/version  | 2 +-
 documentation/versions | 6 ++----
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/documentation/version b/documentation/version
index 61b2edf4..0b3a546f 100644
--- a/documentation/version
+++ b/documentation/version
@@ -1 +1 @@
-19.12
+20.05
diff --git a/documentation/versions b/documentation/versions
index 4bed38fa..83cb7d9d 100644
--- a/documentation/versions
+++ b/documentation/versions
@@ -1,7 +1,5 @@
 trunk:trunk
-20.05
-19.12:released
+20.05:released
+19.12
 19.05
 18.11
-18.07
-18.01