frontend/config.h


1
2
3
4
5
6
7
8
9

#ifndef FRONTEND_CONFIG_H
#define FRONTEND_CONFIG_H

#include <stdio.h>

void config_write(FILE *f);
void config_read(const char *cfg);

#endif