Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [egit-dev] JGit feature branding plugin

Gunnar Wagenknecht <gunnar@xxxxxxxxxxxxxxx> wrote:
> Shawn O. Pearce schrieb:
> > So we need a different change, one that adds a branding plugin to
> > JGit, and directs the JGit feature to use that, right?
> 
> JGit should not get a branding plugin. It doesn't make any contributions
> to the Eclipse UI. If EGit has a branding that's fine.

OK, great, thanks.  I'll submit http://egit.eclipse.org/r/90

-- 
Shawn.


Back to the top