[gnome-commander/gcmd-1-10] Remove unused variable

[Uwe Scholz <uwescholz src gnome org>]

commit 402905a9e371303ac9799e14759b671cc62e6da4
Author: Uwe Scholz <u scholz83 gmx de>
Date:   Thu May 14 21:51:10 2020 +0200

    Remove unused variable

 src/gnome-cmd-file-popmenu.cc | 6 ------
 1 file changed, 6 deletions(-)
---
diff --git a/src/gnome-cmd-file-popmenu.cc b/src/gnome-cmd-file-popmenu.cc
index ebfcac6a..1c8d1ecd 100644
--- a/src/gnome-cmd-file-popmenu.cc
+++ b/src/gnome-cmd-file-popmenu.cc
@@ -607,12 +607,6 @@ GtkWidget *gnome_cmd_file_popmenu_new (GnomeCmdFileList *gnomeCmdFileList)
         GNOMEUIINFO_END
     };
 
-    static GnomeUIInfo sep_uiinfo[] =
-    {
-        GNOMEUIINFO_SEPARATOR,
-        GNOMEUIINFO_END
-    };
-
     g_return_val_if_fail (GNOME_CMD_IS_FILE_LIST (gnomeCmdFileList), nullptr);
     auto files = gnomeCmdFileList->get_selected_files();
     if (!files) return nullptr;