devel/opengrok: Remove TOMCAT8 option, enable TOMCAT85 by default
www/tomcat8 is expiring on 2019-06-30 and has been EOL for ~1 year.
- Remove superfluous TOMCAT85_DESC while here
PR: 230326
devel/opengrok: Remove TOMCAT8 option, enable TOMCAT85 by default Tags None Referenced Files None Subscribers None
Description
Details
|