> On 11.11.2016, at 16:54, Michael Giroux <[email protected]> wrote: > > Is it safe to delete the plugins from the $JENKINS_HOME/plugins directory?
Yes. -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/7DE2C5D1-20E8-4A72-9661-27A6C20C5E2C%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
