From de0d1b40b39dcbfdaac0b41da8caefaf2694054e Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 25 Aug 2019 15:57:38 +0200
Subject: [PATCH] wxwidgets.cfg: Remove duplicate configuration.

---
 cfg/wxwidgets.cfg | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cfg/wxwidgets.cfg b/cfg/wxwidgets.cfg
index 8f34e49ad..99c60c119 100644
--- a/cfg/wxwidgets.cfg
+++ b/cfg/wxwidgets.cfg
@@ -4494,7 +4494,6 @@
       <function name="Shrink" action="change-internal"/>
       <function name="Strip" action="change-internal"/>
       <function name="Alloc" action="change-internal"/>
-      <function name="Strip" action="change"/>
       <function name="Trim" action="change"/>
       <function name="Truncate" action="change"/>
       <function name="Remove" action="change"/>