diff options
Diffstat (limited to 'ui/commandline.h')
| -rw-r--r-- | ui/commandline.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ui/commandline.h b/ui/commandline.h index afde131f9e..981aaadf6e 100644 --- a/ui/commandline.h +++ b/ui/commandline.h @@ -14,9 +14,6 @@ extern "C" { #endif /* __cplusplus */ -/* UI-specific exit routine. */ -extern void exit_application(int status); - extern void commandline_print_usage(gboolean for_help_option); extern void commandline_early_options(int argc, char *argv[], |