1 /*
2  *	gfx3.h
3  *	AYM 1999-06-06
4  */
5 
6 
7 #include "rgbbmp.h"
8 
9 
10 void window_to_rgbbmp (int x, int y, int width, int height, Rgbbmp &b);
11 int rgbbmp_to_rawppm (const Rgbbmp &b, const char *file_name);
12 
13 
14