--- plugins/org.eclipse.ui.intro.universal/plugin.xml.orig 2007-06-26 04:57:27.000000000 +0900 +++ plugins/org.eclipse.ui.intro.universal/plugin.xml 2007-09-06 11:28:55.000000000 +0900 @@ -35,7 +35,7 @@ + os="win32,freebsd,linux,macosx">