Commit 6b18c6d1 authored by Christophe Henry's avatar Christophe Henry
Browse files

Merge branch 'remove-android-lint-jenkins-plugin' into 'develop'

(Jenkins pipeline) Remove PublishHTML, androidLint and junit plugins

See merge request !122
parents 6aa41ca8 cbc3d23d
Pipeline #5486 passed with stage
in 0 seconds