Searched refs:GZip (Results 1 – 2 of 2) sorted by relevance
210 if Header = None or else Header = GZip then216 if Header = GZip then341 when GZip =>447 if Filter.Header = GZip and Filter.Compression then485 if Filter.Header = GZip and then Filter.Compression then
53 type Header_Type is (None, Auto, Default, GZip); literal