/*Eli Skoglund
  CPSC1011-04
  Lab11
  11/18/2022
*/
#include "defs.h"

void writeHeader (FILE * FileOut, header_t Header){
	fprintf(FileOut, "%s\n%i %i %i\n", Header.type, Header.width/2, Header.height/2, Header.maxColor);
}
