update web/readme
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
a891a951e7
commit
1ca8aec206
1 changed files with 2 additions and 1 deletions
3
README
3
README
|
@ -144,7 +144,8 @@ may vanish at any point. To select a specific branch use
|
||||||
git checkout -b <name> origin/<name>
|
git checkout -b <name> origin/<name>
|
||||||
|
|
||||||
# Stay on a specific version
|
# Stay on a specific version
|
||||||
git checkout -b 1.4 origin/1.4
|
version=1.5
|
||||||
|
git checkout -b $version origin/$version
|
||||||
|
|
||||||
### Mirrors
|
### Mirrors
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue