Lines Matching refs:wuffs_gzip__error__bad_header

8137 extern const char wuffs_gzip__error__bad_header[];
31856 const char wuffs_gzip__error__bad_header[] = "#gzip: bad header";
32082       status = wuffs_base__make_status(wuffs_gzip__error__bad_header);
32095       status = wuffs_base__make_status(wuffs_gzip__error__bad_header);