diff options
| author | Andrey Andreev <narf@devilix.net> | 2018-06-01 16:07:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-01 16:07:32 +0200 |
| commit | b1769f962d74adff766666e2b3e055191bf94b63 (patch) | |
| tree | 3af32c2d6350f870479fd8515e40b8f3a06d5b98 /user_guide_src/source/general/cli.rst | |
| parent | 67cf9daa7857917dce389befd9605609f7e65bcf (diff) | |
| parent | 52a87e506d4fc70bd5922b07a532852d28f28ab6 (diff) | |
[ci skip] Merge pull request #5503 from mehdibo/http-to-https
http:// to https://
Diffstat (limited to 'user_guide_src/source/general/cli.rst')
| -rw-r--r-- | user_guide_src/source/general/cli.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/general/cli.rst b/user_guide_src/source/general/cli.rst index 764a6b835..e4f57aefb 100644 --- a/user_guide_src/source/general/cli.rst +++ b/user_guide_src/source/general/cli.rst @@ -13,7 +13,7 @@ What is the CLI? The command-line interface is a text-based method of interacting with computers. For more information, check the `Wikipedia -article <http://en.wikipedia.org/wiki/Command-line_interface>`_. +article <https://en.wikipedia.org/wiki/Command-line_interface>`_. Why run via the command-line? ============================= |