mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-01 19:39:21 +00:00
make sure dists are not installed by default for now
This commit is contained in:
parent
0a3e559ec6
commit
f03e11c0f2
Loading…
x
Reference in New Issue
Block a user