diff options
author | Lucas Stach <dev@lynxeye.de> | 2015-03-26 00:45:46 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2015-03-26 08:00:13 +0100 |
commit | 6dc8ef50070cc07267adbea25d51841a7509aecc (patch) | |
tree | f742e345e177ee3eb99d2dba700ac9a8d15c0940 /Documentation | |
parent | b9f4cd150bab96dd67f519ac0949c624248242c2 (diff) | |
download | barebox-6dc8ef50070cc07267adbea25d51841a7509aecc.tar.gz barebox-6dc8ef50070cc07267adbea25d51841a7509aecc.tar.xz |
docs: correct link to microcom repo
It's not nice to land on a 404 page and having to
search for the right location manually.
Signed-off-by: Lucas Stach <dev@lynxeye.de>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'Documentation')
-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 683da9e6b5..7e4a7669a8 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;a=summary +http://git.pengutronix.de/?p=tools/microcom.git;a=summary Usage is simple:: |