diff options
author | Erik Faye-Lund <[email protected]> | 2019-05-02 20:24:28 +0200 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2019-05-02 23:23:15 +0200 |
commit | 96924aa92ecf16cd2145b1a881df37d9162c6ba7 (patch) | |
tree | d0801245f006142a0fda6dac00f16f9d3ce5bab2 /docs | |
parent | 568e8fc736da97a51ae6ac0774a20279854e6958 (diff) |
docs: fixup mistake in contents
During a rebase, it seems I accidentally broke the contents-menu,
leading to a duplicate link to freedesktop.org. This was obviously not
intended. Let's fix this.
Signed-off-by: Erik Faye-Lund <[email protected]>
Fixes: 7eee13c4679 ("docs: use dl/dd instead of blockquote for
freedesktop link")
Reviewed-by: Dylan Baker <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/contents.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/contents.html b/docs/contents.html index 1d39b2f5f51..1656774209f 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -101,10 +101,6 @@ </ul> <h2>Hosted by:</h2> -<br> -<blockquote> -<a href="https://freedesktop.org" target="_parent">freedesktop.org</a> -</blockquote> <dl> <dd><a href="https://freedesktop.org" target="_parent">freedesktop.org</a> </dl> |