gzip disabled

[GoogleCodeExporter]

What steps will reproduce the problem?
1. just include the run_prettify.js via the googlecode url

I expect the script to be gzipped but it's not

Original issue reported on code.google.com by mightyp...@gmail.com on 4 Jan 2015 at 1:33