diff options
Diffstat (limited to 'desktop/gui.h')
-rw-r--r-- | desktop/gui.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index d7f98609d..f388f2d7d 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -62,6 +62,4 @@ void gui_window_place_caret(gui_window *g, int x, int y, int height); void gui_launch_url(const char *url); -void warn_user(const char *warning, const char *detail); - #endif |