From 375dde3803f69204ce8ad6663a2af9d5483b89d0 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 22 Mar 2017 14:54:35 +0000
Subject: [PATCH] Use new version label feature.

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1797 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 documentation/versions | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/documentation/versions b/documentation/versions
index cfdfbea6..90360e9e 100644
--- a/documentation/versions
+++ b/documentation/versions
@@ -1,3 +1,3 @@
-trunk
-17.01
+trunk:dev
+17.01:latest
 16.05