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