diff options
Diffstat (limited to 'desktop/options.h')
| -rw-r--r-- | desktop/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/options.h b/desktop/options.h index b63d21ce7..ee9c48415 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -48,6 +48,7 @@ extern int option_expire_url; void options_read(const char *path); void options_write(const char *path); +void options_dump(void); struct tree *options_load_tree(const char *filename); bool options_save_tree(struct tree *tree, const char *filename, |