#Mon Aug 16 15:43:22 EDT 2004
plugin_name=Plug-in d'introduction
provider_name=Eclipse.org
config=Configuration de la partie d'introduction
configExtension=Extension de la configuration de la partie d'introduction
