diff options
| author | Ian Lewis <ianlewis@google.com> | 2020-01-17 02:13:07 -0500 |
|---|---|---|
| committer | Ian Lewis <ianlewis@google.com> | 2020-01-17 02:13:07 -0500 |
| commit | 10ec43c775afaa49ca638cd2d411e975e06dbe78 (patch) | |
| tree | 70afacf314a23eacfc364be7d32171ecc05736b5 /content/docs/user_guide/install.md | |
| parent | 712a2829e75c7c8fce6a24df774ec38f72d14348 (diff) | |
Clean up markdown lists
Diffstat (limited to 'content/docs/user_guide/install.md')
| -rw-r--r-- | content/docs/user_guide/install.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/content/docs/user_guide/install.md b/content/docs/user_guide/install.md index d1bf79dd5..f25bc0d73 100644 --- a/content/docs/user_guide/install.md +++ b/content/docs/user_guide/install.md @@ -102,9 +102,9 @@ Based on the release type, you will need to substitute `${DIST}` below, using one of: * `master`: For HEAD. -* `nightly: For nightly releases. -* `release: For the latest release. -* `${yyyymmdd}: For a specific releases (see above). +* `nightly`: For nightly releases. +* `release`: For the latest release. +* `${yyyymmdd}`: For a specific releases (see above). The repository for the release you wish to install should be added: |