diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/repository.html | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/docs/repository.html b/docs/repository.html index 012d3d9ba08..6f8d65ce366 100644 --- a/docs/repository.html +++ b/docs/repository.html @@ -51,17 +51,11 @@ To get the Mesa sources anonymously (read-only): <ol> <li>Install the git software on your computer if needed. <li>Get an initial, local copy of the repository with: - <pre> - git clone https://gitlab.freedesktop.org/mesa/mesa.git - </pre> + <pre>git clone https://gitlab.freedesktop.org/mesa/mesa.git</pre> <li>Later, you can update your tree from the master repository with: - <pre> - git pull origin - </pre> + <pre>git pull origin</pre> <li>If you also want the Mesa demos/tests repository: - <pre> - git clone https://gitlab.freedesktop.org/mesa/demos.git - </pre> + <pre>git clone https://gitlab.freedesktop.org/mesa/demos.git</pre> </ol> |