Commit 8056ad90 authored by Matthias Putz's avatar Matthias Putz

Merge branch 'master' of https://github.com/esrlabs/git-repo

parents 0cf666c6 0d097ce3
......@@ -49,6 +49,8 @@ The editrights tools is provided as part of git-repo for Microsoft Windows.
* sudo apt-get install git-core
* Since our Repo requires Python 3.3, we recommend to change the first line of the ~/bin/repo executable to:
<!-- code block -->
#!/usr/bin/env python3.3
* Alternatively, use the following commands to switch between multiple Python versions:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment