#Mon Aug 16 15:43:51 EDT 2004
pluginName=Kern installieren/aktualisieren
providerName=Eclipse.org
fragmentNameWin=Kern-Installation/-Update f\u00FCr Windows
fragmentNameLinux=Kern-Installation/-Update f\u00FCr Linux
