commit | add1667d6bcaf7bc3d26d4820677b1aff9bdd02a | [log] [tgz] |
---|---|---|
author | Jean-Baptiste Onofré <jbonofre@apache.org> | Thu Sep 30 15:40:09 2021 +0200 |
committer | GitHub <noreply@github.com> | Thu Sep 30 15:40:09 2021 +0200 |
tree | 50d86b4407ca592221eed1237b663e7251f64789 | |
parent | 82b334885aee9ce604e728e3fbe9a371da4924fe [diff] | |
parent | ff3e7701417a8c134217d75151fdf8dde91f73bd [diff] |
Merge pull request #717 from jbonofre/JENKINS Use local repository on Jenkins