Version du 12 mai 2020 à 15:48 modifier JackPotte (discussion \| contributions) Modificateurs de filtre anti-abus, Bureaucrates, Administrateurs d’interface, Administrateurs 36 676 modifications →‎Mise à jour ← Modification précédente		Version du 12 mai 2020 à 15:49 modifier annuler JackPotte (discussion \| contributions) Modificateurs de filtre anti-abus, Bureaucrates, Administrateurs d’interface, Administrateurs 36 676 modifications →‎Plugins Modification suivante →
Ligne 20 : == Plugins == Le menu "Plugin Manager" (/pluginManager) répertorie les versions des plugins installées et disponibles. * Git : récupération des branches à déployer en cliquant dessus. shallow clone * ConfigHistory : versioning des jobs<ref>https://wiki.jenkins.io/display/JENKINS/JobConfigHistory+Plugin</ref>.

« Jenkins » : différence entre les versions