From b4b42689482f3ee72e8b19434be104e6ea6cd254 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 22 Mar 2017 09:52:23 +0000
Subject: [PATCH] Set default version to latest release 17.01.

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1794 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 documentation/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/version b/documentation/version
index b5d9bfd6..ec3d41ad 100644
--- a/documentation/version
+++ b/documentation/version
@@ -1 +1 @@
-trunk
+17.01