tree 08c15c2983baf154a7195ad3a65f60f6077d1e1a
parent c4f9e4527dfaa9c04348009100cd0616e2d0640a
author Jean Helou <jhe@codamens.fr> 1617346799 +0200
committer Tellier Benoit <btellier@linagora.com> 1617762653 +0700

fixes jenkinsfile tool names