https://pantsbuild.org/ logo
r

rough-minister-58256

09/21/2015, 11:13 PM
if you
file <file>
does it show up as gzip compressed?