fgsch 3e31303ac8 Fix jserv name; maintainer ok.		2001-12-12 22:50:04 +00:00
..
DEINSTALL	Tomcat is the Java Servlet / Java Server Page environment produced	2001-06-17 12:18:16 +00:00
DESCR	Fix jserv name; maintainer ok.	2001-12-12 22:50:04 +00:00
INSTALL	update to jakarta-tomcat-3.2.2	2001-07-07 13:12:18 +00:00
MESSAGE	Tomcat is the Java Servlet / Java Server Page environment produced	2001-06-17 12:18:16 +00:00
PLIST	update to jakarta-tomcat-3.2.2	2001-07-07 13:12:18 +00:00