17
edits
Changes
→For installation that used GIT: fix git commands
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 -b 13.0 --depth 1
+$ git checkout 13.0
+$ git pull origin 13.0
</source>
</source>