diff options
| author | Erik Faye-Lund <[email protected]> | 2019-06-03 18:54:05 +0200 |
|---|---|---|
| committer | Erik Faye-Lund <[email protected]> | 2019-06-05 23:48:45 +0200 |
| commit | 7c4a4fb09a1e5610568b25896aabb262801b2ed0 (patch) | |
| tree | d99a8ab2a23314a1969b77878752ca2d2e7ad20e /docs | |
| parent | 412046f74ee53b58c4eb01581d5664a789ce4c5a (diff) | |
docs: remove some noisy spacing in pre-blocks
These newlines caused the blocks to have trailing newlines in them,
which renders a bit noisily.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
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> |