Lines Matching defs:wuffs_gif__error__bad_header

7712 extern const char wuffs_gif__error__bad_header[];
29276 const char wuffs_gif__error__bad_header[] = "#gif: bad header";
30412       status = wuffs_base__make_status(wuffs_gif__error__bad_header);