/* ------------- config.c ------------- */
-#include <dflat32/dflat.h>
+#include "dflat32/dflat.h"
/* ----- default colors for color video system ----- */
unsigned char color[CLASSCOUNT] [4] [2] = {
55 /* Bottom printer margin */
};
-char **Argv;
void BuildFileName(char *path, char *ext)
{
extern char **Argv;