tree 74e0cec3ed7ac79cea55a43f25f75200638492c1
parent 2c605f724ef8cd450d1fe1649b8968d3796c61c0
author Andreas Veithen <andreas.veithen@gmail.com> 1611408523 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1611408523 +0000

Centrally manage the Jetty version