#Mon Aug 16 15:38:39 EDT 2004
help_system_plugin_name=Interfaccia utente del sistema della Guida
help_system_plugin_name_win32=UI del sistema della guida per Windows
providerName=Eclipse.org
help_preferences_page_name=Guida
embedded_browser=Browser integrato
system_browser=Browser predefinito del sistema
appserver_preferences_page_name=Server della guida
