#Wed Nov 03 08:21:58 EST 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