commit | dfd731caeb11c29243d4950f0781584f8ba1835a | [log] [tgz] |
---|---|---|
author | Alex Ruiz <alruiz@google.com> | Fri Apr 20 17:33:50 2012 -0700 |
committer | Alex Ruiz <alruiz@google.com> | Fri Apr 20 17:33:50 2012 -0700 |
tree | dcec6c3df68857ecb1eafa280c582c350cc004ed | |
parent | f63001deb5efb1ddb7564b2af4e3ba1be3585469 [diff] |
Minor changes.
diff --git a/com.google.eclipse.terminal.local/plugin.xml b/com.google.eclipse.terminal.local/plugin.xml index cd9aea9..1e777ec 100644 --- a/com.google.eclipse.terminal.local/plugin.xml +++ b/com.google.eclipse.terminal.local/plugin.xml
@@ -46,7 +46,7 @@ <page class="com.google.eclipse.terminal.local.ui.preferences.ColorsPreferencePage" id="com.google.eclipse.terminal.local.colors" - name="Colors"> + name="Local Terminal Colors"> </page> </extension>