|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