| commit | 096f8e4d2c628c930d519e588393814c0ea48b6e | [log] [tgz] |
|---|---|---|
| author | Kévin Petit <kpet@free.fr> | Thu Oct 15 19:21:36 2020 +0100 |
| committer | GitHub <noreply@github.com> | Thu Oct 15 11:21:36 2020 -0700 |
| tree | 16fe4de7a2e8239c7f291720e9b4ff4f945f2ae7 | |
| parent | 8643120d70f292b62291d2915a686e28ca20c11f [diff] |
Fix a few KHR extension links (#89) They were still pointing to the old txt file. Signed-off-by: Kevin Petit <kevin.petit@arm.com>