From ed3ac6ad5d6ebfadca90efec03e69c36f1ccf8f6 Mon Sep 17 00:00:00 2001 From: znerd Date: Wed, 13 Aug 2003 11:39:38 +0000 Subject: New port: Jakarta Tomcat 5.x. See: http://jakarta.apache.org/site/news.html#20030804.1 http://jakarta.apache.org/tomcat/tomcat-5.0-doc/index.html PR: 55502 Submitted by: Kang Liu --- www/tomcat7/distinfo | 1 + 1 file changed, 1 insertion(+) create mode 100644 www/tomcat7/distinfo (limited to 'www/tomcat7/distinfo') diff --git a/www/tomcat7/distinfo b/www/tomcat7/distinfo new file mode 100644 index 0000000..7cc8cf8 --- /dev/null +++ b/www/tomcat7/distinfo @@ -0,0 +1 @@ +MD5 (jakarta-tomcat-5.0.6.tar.gz) = e06b1e29b6767f375fd651a211f12234 -- cgit v1.1