diff options
author | Uwe Kleine-König <u.kleine-koenig@pengutronix.de> | 2018-06-11 10:02:29 +0200 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2018-06-13 10:26:43 +0200 |
commit | ea76b4c386b231233222d6adf1d93776600f8899 (patch) | |
tree | d464d3e92a2ec8dba46752503ba881a9fb959808 /Documentation/user/system-setup.rst | |
parent | b51ee3b46b53e0b9c5323bf4c2cd5144510104f2 (diff) | |
download | barebox-ea76b4c386b231233222d6adf1d93776600f8899.tar.gz barebox-ea76b4c386b231233222d6adf1d93776600f8899.tar.xz |
Documentation: use https for Pengutronix services
Also adapt the links to git.pengutronix.de to use the cgit URLs instead the
old gitweb ones.
Signed-off-by: Uwe Kleine-König <u.kleine-koenig@pengutronix.de>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'Documentation/user/system-setup.rst')
-rw-r--r-- | Documentation/user/system-setup.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user/system-setup.rst b/Documentation/user/system-setup.rst index 7e4a7669a8..f0598bc2b5 100644 --- a/Documentation/user/system-setup.rst +++ b/Documentation/user/system-setup.rst @@ -29,7 +29,7 @@ A good alternative terminal program is microcom. On Debian it can be installed with ``apt-get install microcom``, on other distributions it can be installed from source: -http://git.pengutronix.de/?p=tools/microcom.git;a=summary +https://git.pengutronix.de/cgit/tools/microcom Usage is simple:: |