Changeset 7171eda for apps/jetty


Ignore:
Timestamp:
Aug 11, 2013 11:28:33 AM (7 years ago)
Author:
zzz <zzz@…>
Branches:
master
Children:
fd29711
Parents:
d846633
Message:

Jetty 7.6.12.v20130726

Location:
apps/jetty
Files:
1 edited
14 moved

Legend:

Unmodified
Added
Removed
  • apps/jetty/build.xml

    rd846633 r7171eda  
    22<project basedir="." default="all" name="jetty">
    33
    4     <property name="jetty.ver" value="7.6.11.v20130520" />
     4    <property name="jetty.ver" value="7.6.12.v20130726" />
    55    <property name="jetty.base" value="jetty-distribution-${jetty.ver}" />
    6     <property name="jetty.sha1" value="d32ee389ed711a0655de0432810b75b57ad3e500" />
     6    <property name="jetty.sha1" value="986f66f3fbd3a6354e0664e3c189260327d180ad" />
    77    <property name="jetty.filename" value="${jetty.base}.zip" />
    88    <property name="jetty.url" value="http://download.eclipse.org/jetty/${jetty.ver}/dist/${jetty.filename}" />
Note: See TracChangeset for help on using the changeset viewer.