2 lines
72 B
C
2 lines
72 B
C
static void refreshoptions(void);
|
|
static void readstream(FILE* stream);
|
static void refreshoptions(void);
|
|
static void readstream(FILE* stream);
|