From 1ca8aec2066a19e1ec58e59a80a84420f56e81bb Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 29 Mar 2011 16:49:49 +0200
Subject: [PATCH] update web/readme

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 README | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README b/README
index a62ac61c..3a4b2051 100644
--- a/README
+++ b/README
@@ -144,7 +144,8 @@ may vanish at any point. To select a specific branch use
     git checkout -b <name> origin/<name>
     
     # Stay on a specific version
-    git checkout -b 1.4 origin/1.4
+    version=1.5
+    git checkout -b $version origin/$version
 
 ### Mirrors