Skip to content

Remove jetty-ant#9382

Merged
janbartel merged 1 commit intojetty-12.0.xfrom jetty-12.0.x-remove-jetty-antFeb 16, 2023

Commits

Commits on Feb 15, 2023