zzz 2af7066074 Jetty: Switch from jetty to tomcat jar for servlet-api ...

to get the 4.0 dtds
Put servlet version on the logs page

2020-06-07 16:22:21 +00:00

..

.externalToolBuilders

…

apache-tomcat-9.0.35

Jetty: Switch from jetty to tomcat jar for servlet-api

2020-06-07 16:22:21 +00:00

java/src/net/i2p

…

jetty-distribution-9.3.28.v20191105

Jetty: Switch from jetty to tomcat jar for servlet-api

2020-06-07 16:22:21 +00:00

resources

…

build.gradle

…

build.xml

Jetty: Switch from jetty to tomcat jar for servlet-api

2020-06-07 16:22:21 +00:00

README-i2p.txt

…