Changeset 8d00774 for build.xml


Ignore:
Timestamp:
Apr 15, 2019 11:45:52 AM (12 months ago)
Author:
zzz <zzz@…>
Branches:
master
Children:
d32d5b5
Parents:
89b38f4f
Message:

Tomcat 8.5.40

File:
1 edited

Legend:

Unmodified
Added
Removed
  • build.xml

    r89b38f4f r8d00774  
    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.38" />
     12    <property name="tomcat.ver" value="8.5.40" />
    1313
    1414    <!-- You probably don't want to change anything from here down -->
Note: See TracChangeset for help on using the changeset viewer.