diff options
Diffstat (limited to 'games/eureka/patches/patch-src_ui__menu.cc')
| -rw-r--r-- | games/eureka/patches/patch-src_ui__menu.cc | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/games/eureka/patches/patch-src_ui__menu.cc b/games/eureka/patches/patch-src_ui__menu.cc deleted file mode 100644 index ac31de04f65..00000000000 --- a/games/eureka/patches/patch-src_ui__menu.cc +++ /dev/null @@ -1,16 +0,0 @@ -$NetBSD: patch-src_ui__menu.cc,v 1.1 2019/09/11 16:26:17 micha Exp $ - -Fix internal name for Online Documentation menu entry. - ---- src/ui_menu.cc.orig 2018-08-03 04:23:43.000000000 +0000 -+++ src/ui_menu.cc -@@ -412,7 +412,8 @@ static void tools_do_view_logs(Fl_Widget - - static void help_do_online_docs(Fl_Widget *w, void * data) - { -- ExecuteCommand("Documentation"); -+ //ExecuteCommand("Documentation"); -+ ExecuteCommand("OnlineDocs"); - } - - static void help_do_about(Fl_Widget *w, void * data) |