/*
        Frank Lyonnet 1993
        Lecture header GIF 
*/

extern void get_gif_size(char *Filename,int *Width,int *Height);
extern BOOL is_gif(char *Filename);
extern void get_gif_bpp_and_colorspace(char *Filename,int *Bpp,int *Colorspace);
