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