| commit | 39d48d2a024367c71990ed4fe3b38e3002be32b6 | |
| author | Emil Velikov <emil.l.velikov@gmail.com> | |
| Tue, 30 Nov 2021 22:25:18 +0000 (30 22:25 +0000) | ||
| committer | Emil Velikov <emil.l.velikov@gmail.com> | |
| Thu, 2 Jun 2022 14:24:42 +0000 (2 15:24 +0100) | ||
| tree | 6f3af4599ebaa6eede698481fad65ec6bd03e536 | treesnapshot (tar.gz zip) |
| parent | 822c4fab21f781a0c78c260294ecf9f8def15a12 | commitdiff |
tree: update website references
For a while now, we've had https://waffle.freedesktop.org/ and somewhat
recently the original waffle-gl.org domain expired.
Update (nearly) all the existing references. Be that waffle-gl.org ones
or people.freedesktop.org/~chadversary/waffle. The latter redirect to
the former.
Nearly since some archive.waffle-gl.org artefacts are nowhere to be
found ... at a glance. We can tweak or drop those with future commits.
While we're here - httpS all the links :-)
Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
(cherry picked from commit 09bce066c17b150b70a5f27e1edbc01874a6b3dc)
For a while now, we've had https://waffle.freedesktop.org/ and somewhat
recently the original waffle-gl.org domain expired.
Update (nearly) all the existing references. Be that waffle-gl.org ones
or people.freedesktop.org/~chadversary/waffle. The latter redirect to
the former.
Nearly since some archive.waffle-gl.org artefacts are nowhere to be
found ... at a glance. We can tweak or drop those with future commits.
While we're here - httpS all the links :-)
Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
(cherry picked from commit 09bce066c17b150b70a5f27e1edbc01874a6b3dc)
13 files changed: