17
edits
Installation - Upgrade: Difference between revisions
Jump to navigation
Jump to search
→For installation that used GIT: fix git commands
(→For installation that used GIT: fix git commands) Tag: 2017 source edit |
|||
| Line 333: | Line 333: | ||
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 | $ git checkout 13.0 | ||
$ git pull origin 13.0 | |||
</source> | </source> | ||