On Mon, Nov 10, 2014 at 2:38 PM, Daniel Beck <[email protected]> wrote: > Since the component names and plugin short names are generally different > anyway
They are? I thought the idea was to make these be fully aligned. (Modulo addition of -plugin suffix.) -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
