diff options
author | Brian Paul <[email protected]> | 2017-02-08 12:31:43 -0700 |
---|---|---|
committer | Eric Engestrom <[email protected]> | 2017-02-09 00:02:13 +0000 |
commit | b2722a89702572c678f3286d4ac11d35f199bf04 (patch) | |
tree | 188011fb1c3256e11e7859d1d55a460f483baedf | |
parent | f22836dbdd4082f3d43c1d998b092f07ca3e9b77 (diff) |
docs: the site is now hosted by freedesktop.org
Reviewed-by: Eric Engestrom <[email protected]>
-rw-r--r-- | docs/contents.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/contents.html b/docs/contents.html index c2fe39190c5..f56501f1551 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -98,8 +98,7 @@ <b>Hosted by:</b> <br> <blockquote> -<a href="http://sourceforge.net" -target="_parent">sourceforge.net</a> +<a href="http://freedesktop.org" target="_parent">freedesktop.org</a> </blockquote> </body> |