Merge remote-tracking branch 'origin/jetty-10.0.x' into jetty-11.0.x

This commit is contained in:
Joakim Erdfelt 2020-09-25 13:38:05 -05:00
commit 0638d4567f
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
2 changed files with 2 additions and 3 deletions

View File

@ -0,0 +1 @@
# Intentionally empty module

View File

@ -1,3 +1 @@
#===========================================================
# Empty start.ini
#===========================================================
--module=empty