tree 16fe4de7a2e8239c7f291720e9b4ff4f945f2ae7
parent 8643120d70f292b62291d2915a686e28ca20c11f
author Kévin Petit <kpet@free.fr> 1602786096 +0100
committer GitHub <noreply@github.com> 1602786096 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfiJMwCRBK7hj4Ov3rIwAAdHIIAD67/PR8lyivvflop82Eq+HW
 CG7TAtSq8whQRuB67qnycBkYLztB6RYfsxu3Rl+q/i5NuqDkcVIB85glmFNtfIXu
 2aLblh3Nmkh1hqk7FcrDncQbpmrpqMrqTx7UK2xT7KYyNqaE9BEUFuQzmWuapQYa
 boGN2N01pPneBGhhuW5IJvhHqjH0gWxp0aywysGkEApBRHy2xsMdWOVBnef3T0Ri
 TZZ7TARZxdvNnloSl/0/zVtzCrVatI2Ed2YcQLTBbmgSHyy95cXt2hkVXOtd00gb
 4DfCchoHIhmDn3lpKJjwfxn9i53uXqm2UDRNoTVraeApvPU8HCQpvgo7Rj+1Mt4=
 =NtIN
 -----END PGP SIGNATURE-----
 

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>