SearchFilter.java: Used Collection.contains().

Jean-Noel Rouvignac

25.03.2015 66459702e0e633dbddb145eb74d38c82cdc83c75

1
2
3
4
user-friendly-name=Protokollschreiber
user-friendly-plural-name=Protokollschreiber
synopsis=Protokollschreiber sind zum Verteilen von Protokollnachrichten von unterschiedlichen Protokollierern an ein Ziel zust\u00e4ndig.
property.enabled.synopsis=Gibt an, ob der Protokollschreiber aktiviert ist.