diff options
| author | Mehdi Bounya <mehdi.bounya@gmail.com> | 2018-05-18 01:41:30 +0200 |
|---|---|---|
| committer | Mehdi Bounya <mehdi.bounya@gmail.com> | 2018-05-18 01:41:30 +0200 |
| commit | 52a87e506d4fc70bd5922b07a532852d28f28ab6 (patch) | |
| tree | 5aee6ff3f2c293be396ffb1e5b1668555cdec0b9 /user_guide_src/source/general/cli.rst | |
| parent | e837b9b8705c222d49f86ab051d2df717d986c5b (diff) | |
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? ============================= |