re-fixed bad merge

Signed-off-by: Greg Wilkins <gregw@webtide.com>
This commit is contained in:
Greg Wilkins 2019-12-04 16:43:37 +11:00
parent c6633e8d67
commit b3ea7d9f60
1 changed files with 0 additions and 2 deletions

View File

@ -25,6 +25,4 @@ module org.eclipse.jetty.http2.server
requires org.eclipse.jetty.io;
requires org.eclipse.jetty.server;
requires org.eclipse.jetty.util;
requires jetty.servlet.api;
}