#Mon Aug 16 13:36:29 EDT 2004
help_plugin_name=Kern f\u00FCr Hilfefunktion
providerName=Eclipse.org
toc_extension_point_name=Inhaltsverzeichnis der Hilfe - Erg\u00E4nzungen
contexts_extension_point_name=Kontexthilfe
content_producer_extension_point_name=Inhaltserzeugungsfunktion f\u00FCr Hilfe
