Changeset 2aa0937 for build.xml


Ignore:
Timestamp:
Feb 18, 2019 6:44:37 PM (16 months ago)
Author:
zzz <zzz@…>
Branches:
master
Children:
af46e48
Parents:
ab7f61d
Message:

Tomcat 8.5.38

File:
1 edited

Legend:

Unmodified
Added
Removed
  • build.xml

    rab7f61d r2aa0937  
    1010    <!--  When changing, also change javadoc URL in build.properties, and checksum in apps/jetty/build.xml -->
    1111    <property name="jetty.ver" value="9.2.25.v20180606" />
    12     <property name="tomcat.ver" value="8.5.34" />
     12    <property name="tomcat.ver" value="8.5.38" />
    1313
    1414    <!-- You probably don't want to change anything from here down -->
Note: See TracChangeset for help on using the changeset viewer.