mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-04 11:23:46 +00:00
ba82dd52df
previously already set to jakarta-tomcat[VERSION], but this was not consistent with the jakarta-tomcat5 port. PR: 63210 Submitted by: Kang Liu <liukang@bjpu.edu.cn>