commit f2bf03e851fd8768b9b01a8b6d8da69bbd12027a
author Dejan Glozic <dejan> Fri Mar 26 20:00:30 2004 +0000
committer Dejan Glozic <dejan> Fri Mar 26 20:00:30 2004 +0000
tree cc448d80dd4f51b913f79967e6b906f08e2486ee
parent 37426a8e1965f447072cc78913910aafe1db2875

*** empty log message ***

platform/org.eclipse.platform/plugin.properties

diff --git a/platform/org.eclipse.platform/plugin.properties b/platform/org.eclipse.platform/plugin.properties
index 442ab8a..be8f755 100644
--- a/platform/org.eclipse.platform/plugin.properties
+++ b/platform/org.eclipse.platform/plugin.properties
@@ -12,7 +12,7 @@
 providerName=Eclipse.org
 
 # Initial experience strings
-introPart.title = Introduction
+introPart.title = Intro
 intro.title=Welcome to Eclipse Platform 3.0
 root.overview.label = Overview
 root.overview.desc = Find out what Eclipse is all about