commit | 9c1317e1d9b05bdaaa26092437607dc2bccfff4b | [log] [tgz] |
---|---|---|
author | Richard Eckart de Castilho <rec@apache.org> | Fri Jun 03 14:55:04 2022 +0200 |
committer | Richard Eckart de Castilho <rec@apache.org> | Fri Jun 03 14:55:04 2022 +0200 |
tree | 4b6d861acc738d5e1134db85687f918769d87f99 | |
parent | 4738849e3200f357629d9e5d40d9d43e8f146897 [diff] |
[UIMA-6457] Clean Jenkins workspace up after build - Also add option to clean before build