Greg Wilkins 46204a86ff Jetty 12.0.x resource Servlet (#11933) ... Introduce ResourceServlet * Split DefaultServlet into ResourceServlet * Added tests for Resource and Default Servlet * Improved documentation of the ResourceServlet * Fixed the documentation		2024-07-10 09:05:56 +10:00
..
src	Jetty 12.0.x resource Servlet (#11933)	2024-07-10 09:05:56 +10:00
pom.xml	Updating to version 12.0.12-SNAPSHOT	2024-06-27 19:09:24 -05:00