diff tomcat/server.xml @ 611:7afaedb91e68

make executable, remove unneeded script
author kleinknecht@ssdt-ohio.org
date Mon, 07 Jul 2025 15:23:40 -0400
parents adbef03ee9e8
children
line wrap: on
line diff