[gnome-mines] help-overlay.ui: remove ctrl+f1 shortcut from Keyboard Shortcuts dialog

[Robert Roth <robertroth src gnome org>]

commit 9498468ebe7659c666f609df556e983cec02f37f
Author: Sabri Ünal <libreajans gmail com>
Date:   Mon Feb 17 15:06:45 2020 +0300

    help-overlay.ui: remove ctrl+f1 shortcut from Keyboard Shortcuts dialog
    
    Due to a conflict, remove ctrl+f1 shortcut from the dialog.
    
    https://gitlab.gnome.org/GNOME/gtk/issues/626

 src/help-overlay.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/help-overlay.ui b/src/help-overlay.ui
index ae53f99..788b49b 100644
--- a/src/help-overlay.ui
+++ b/src/help-overlay.ui
@@ -41,7 +41,7 @@
             <child>
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>
-                <property name="accelerator">&lt;Primary&gt;question &lt;Primary&gt;F1</property>
+                <property name="accelerator">&lt;Primary&gt;question</property>
                 <property name="title" translatable="yes" context="shortcut window">Show Keyboard 
Shortcuts</property>
               </object>
             </child>