*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Sat, 22 Sep 2018 03:33:39 +0200
changeset 8480 23987083e4e9
parent 8479 acf365636d43
child 8481 ed35072b1e38
*** empty log message ***
resources/de.rs
--- a/resources/de.rs	Sat Sep 22 03:18:16 2018 +0200
+++ b/resources/de.rs	Sat Sep 22 03:33:39 2018 +0200
@@ -248,8 +248,10 @@
 'next'              'vorwärts'
 ; 'Ignore case'       'Groß-Kleinschreibung ignorieren'
 ; 'Ignore Case'       'Groß-Kleinschreibung ignorieren'
-'Ignore case'       'Groß-Klein ignorieren'
-'Ignore Case'       'Groß-Klein ignorieren'
+; 'Ignore case'       'Groß-Klein ignorieren'
+; 'Ignore Case'       'Groß-Klein ignorieren'
+'Ignore case'       'Groß/Klein ignorieren'
+'Ignore Case'       'Groß/Klein ignorieren'
 'Case Sensitive'    'Groß-/Kleinschreibung'
 'Match (forward only)'          'Mustersuche (nur vorwärts)'
 'Search Full Words'             'Frei stehende Wörter suchen'