zzz a5c4ba3bff 2007-03-03 zzz ...

* Upgrade from Jetty 5.1.6 to 5.1.12 which fixes spaces in URL
    * Add a updaterWithJetty build target

2007-03-03 20:30:52 +00:00

..

build.xml

2007-03-03 zzz

2007-03-03 20:30:52 +00:00