Le 07/04/2020 à 13:50, Rémy Maucherat a écrit : > I would want to keep the basic tool available.
Of course, this is in addition to the command line tool. > Ideally it is nice to avoid having too many options. I hardly imagine more than 10 options for this kind of tool. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
