--- 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'