jsdelivr/jsdelivr — pull request #2188 by thekondrashov (2014-11-01 20:57:08+00:00)
Title: Change html5shiv files

Renamed file names without changes and replace the mainfile on a compressed version.