commit | 6e3be8df3d6a3c4c4d7bafad3c4ec817cde28434 | [log] [tgz] |
---|---|---|
author | Slawomir Jaranowski <s.jaranowski@gmail.com> | Wed Feb 14 00:58:36 2024 +0100 |
committer | Slawomir Jaranowski <s.jaranowski@gmail.com> | Wed Feb 14 00:58:36 2024 +0100 |
tree | f9d06482d618dcf5f3ced5ef3a3bd1390c4c8726 | |
parent | e2edb8c460ae6adfebf2d050ca849b96c93cedb4 [diff] |
Remove old maven.plugin.tools.version property
Maven Distribution Tool plugin is a tool executed daily on Maven CI server to produce a report of the different checks done on our releases.
mvn verify site