From 5c5579d6c8a0f613c87a1cb64720eafde056ff10 Mon Sep 17 00:00:00 2001 From: rnv Date: Fri, 2 Mar 2012 09:58:20 +0000 Subject: [PATCH] Remove double keys. --- src/GEOMGUI/GEOM_images.ts | 4 ---- src/GEOMGUI/GEOM_msg_en.ts | 4 ---- 2 files changed, 8 deletions(-) diff --git a/src/GEOMGUI/GEOM_images.ts b/src/GEOMGUI/GEOM_images.ts index 489c064d8..d10d88748 100644 --- a/src/GEOMGUI/GEOM_images.ts +++ b/src/GEOMGUI/GEOM_images.ts @@ -799,10 +799,6 @@ ICO_DRAFT draft.png - - ICO_DISPLAY_ONLY - displayonly.png - ICO_EDGE build_edge.png diff --git a/src/GEOMGUI/GEOM_msg_en.ts b/src/GEOMGUI/GEOM_msg_en.ts index 25b1a30d4..6936f97e8 100644 --- a/src/GEOMGUI/GEOM_msg_en.ts +++ b/src/GEOMGUI/GEOM_msg_en.ts @@ -581,10 +581,6 @@ Please, select face, shell or solid and try again GEOM_ERR_LIB_NOT_FOUND GUI library corresponding to the user action can not be found or loaded - - GEOM_EXTRUSION - Extrusion - GEOM_EXTRUDED_CUT Extruded cut -- 2.39.2