53
edits
User443322 (talk | contribs) Tag: 2017 source edit |
(→For installation that used GIT: 12 -> 13) |
||
| Line 314: | Line 314: | ||
If you already cloned the repo simply upgrade by checking out a version tag like so: | If you already cloned the repo simply upgrade by checking out a version tag like so: | ||
<source lang="bash"> | <source lang="bash"> | ||
$ git checkout -b | $ git checkout -b 13.0 --depth 1 | ||
</source> | </source> | ||
edits