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/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/plugin.properties')
| -rw-r--r-- | org.eclipse.jgit/plugin.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jgit/plugin.properties b/org.eclipse.jgit/plugin.properties index d8e4703b67..7f23de9246 100644 --- a/org.eclipse.jgit/plugin.properties +++ b/org.eclipse.jgit/plugin.properties @@ -1,2 +1,2 @@ -plugin_name=Java Git Core (Incubation) -provider_name=eclipse.org +plugin_name=JGit Core (Incubation) +provider_name=Eclipse.org |