9
9
<property file="build.properties"/>
10
10
<!-- When changing, also change javadoc URL in build.properties, and checksum in apps/jetty/build.xml -->
11
11
<property name="jetty.ver" value="9.2.25.v20180606" />
14
14
<!-- You probably don't want to change anything from here down -->
15
15
<target name="help" depends="all" />