diff options
author | Shawn O. Pearce <spearce@spearce.org> | 2010-01-23 11:40:31 -0800 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2010-01-23 11:42:15 -0800 |
commit | 0238a21b624abf079ae21835a13067d2c8dedd81 (patch) | |
tree | 6066f805be44f4ffc76fdfdeb78c1bce13748127 /org.eclipse.jgit.pgm/plugin.properties | |
parent | 927437ce3aad331a6982f9e25a65a600a5f12b4a (diff) | |
download | jgit-0238a21b624abf079ae21835a13067d2c8dedd81.tar.gz jgit-0238a21b624abf079ae21835a13067d2c8dedd81.zip |
Correct bundle, provider names to be consistent
Technically our project name is "JGit", not "Java Git". In fact
there is already another project called "JavaGit" (no space) that we
don't want to become confused with. Ensure we always call ourselves
"JGit" in user visible assets, like the bundle name.
Other Eclipse products list their provider as "Eclipse.org",
not "eclipse.org". So list ourselves that way in all of our
plugin.properties files.
Change-Id: Ibcea1cd6dda2af757a8584099619fc23b7779a84
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'org.eclipse.jgit.pgm/plugin.properties')
-rw-r--r-- | org.eclipse.jgit.pgm/plugin.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jgit.pgm/plugin.properties b/org.eclipse.jgit.pgm/plugin.properties index f8fbd725c1..b39fe65f89 100644 --- a/org.eclipse.jgit.pgm/plugin.properties +++ b/org.eclipse.jgit.pgm/plugin.properties @@ -1,2 +1,2 @@ -plugin_name=Java Git Command Line Interface (Incubation) -provider_name=eclipse.org +plugin_name=JGit Command Line Interface (Incubation) +provider_name=Eclipse.org |