5a42ec1 Update build script to make jetty-home files deletable.
- Parent 554b366a6a2980aa8a4e771795fc166ea2e03ad4
- Authored by Peter Boughton at Thu 21 Oct 2021, 13:35
- Committed by Peter Boughton at Thu 21 Oct 2021, 13:36
build/build.sh | 2 ++
1 file changed, 2 insertions(+)
view diff