# | Line 125 | Line 125 | void PrefsInit(int &argc, char **&argv) | |
---|---|---|
125 | * Deinitialize preferences | |
126 | */ | |
127 | ||
128 | < | void PrefsExit(void) |
128 | > | void PrefsExit() |
129 | { | |
130 | // Free prefs list | |
131 | prefs_node *p = the_prefs, *next; | |
# | Line 179 | Line 179 | static void print_options(const prefs_de | |
179 | } | |
180 | } | |
181 | ||
182 | < | void PrefsPrintUsage(void) |
182 | > | void PrefsPrintUsage() |
183 | { | |
184 | printf("\nGeneral options:\n"); | |
185 | print_options(common_prefs_items); |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |