commit | 8bdb2982b0d702cc3b1a16d7be239799d0867165 | [log] [tgz] |
---|---|---|
author | Andrea Cosentino <ancosen@gmail.com> | Sun Jan 05 04:05:04 2020 +0100 |
committer | GitHub <noreply@github.com> | Sun Jan 05 04:05:04 2020 +0100 |
tree | c6edd9ec76ff990ff1ad9c00d3c8eee4e03df9ac | |
parent | fc8fe2eae80c31e009ab83b18d3a103dd3bf814e [diff] | |
parent | 6fc0cdd2f069d7001e53289886fb752c13b2487a [diff] |
Merge pull request #594 from lburgazzoli/jetty chore: remove jetty-maven-plugin.version as jetty-maven-plugin is not more used