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

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.


Gunnar Wagenknecht

Back to the top