KhronosGroup/WebGL — pull request #530 by kenrussell (2014-04-22 19:46:09+00:00)
Title: Delete now-unneeded webgl.idl redirect. Now handled by the server. It di...

...dn't work anyway.