#Mon Aug 16 13:36:29 EDT 2004
help_plugin_name=Parte centrale del sistema della Guida
providerName=Eclipse.org
toc_extension_point_name=Contributi al sommario della guida
contexts_extension_point_name=Guida sensibile al contesto
content_producer_extension_point_name=Produttore argomenti della guida
