commit | ee8be54dfb6b84856edfc3020e20a930217810e1 | [log] [tgz] |
---|---|---|
author | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Sep 13 17:14:50 2023 +0200 |
committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Sep 13 17:16:07 2023 +0200 |
tree | ae815abc37118283c03584799eb1ea370a61aa9c | |
parent | a586c5a66cd83f8b58216382e7d54bd6e8093bfa [diff] |
Replace HTML files by redirection to the official spec hosting Use HTML redirects since we can't do HTTP redirects on GitHub pages. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>