resources/de.rs
changeset 8480 23987083e4e9
parent 8353 44cd6b3c92e3
child 8588 6d151300275f
--- 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'