From 2bf154132e663c11576ec89f88a4241268f30cac Mon Sep 17 00:00:00 2001 From: Bastien Nocera Date: Thu, 9 May 2019 11:57:15 +0200 Subject: [PATCH] network: Add "proxy" keyword to the panel --- panels/network/gnome-network-panel.desktop.in.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/panels/network/gnome-network-panel.desktop.in.in b/panels/network/gnome-network-panel.desktop.in.in index 2f897915c..39dd570ed 100644 --- a/panels/network/gnome-network-panel.desktop.in.in +++ b/panels/network/gnome-network-panel.desktop.in.in @@ -15,4 +15,4 @@ X-GNOME-Bugzilla-Product=gnome-control-center X-GNOME-Bugzilla-Component=network X-GNOME-Bugzilla-Version=@VERSION@ # Translators: Search terms to find the Network panel. Do NOT translate or localize the semicolons! The list MUST also end with a semicolon! -Keywords=Network;IP;LAN;Proxy;WAN;Broadband;Modem;Bluetooth;vpn;DNS; +Keywords=Network;IP;LAN;Proxy;WAN;Broadband;Modem;Bluetooth;vpn;DNS;Proxy;