]> WPIA git - gigi.git/commit
updating update script to jetty-9.2.16.v20160407
authorFelix Dörre <felix@dogcraft.de>
Thu, 30 Jun 2016 10:58:00 +0000 (12:58 +0200)
committerFelix Dörre <felix@dogcraft.de>
Thu, 30 Jun 2016 15:13:28 +0000 (17:13 +0200)
commit875b5e9651498a0cd8e0001c0742ba843e47cad0
treef145dfa030b1453059ac252a1d48fd2f634af5a1
parent73ef54a38e3930a1a789cdc6b5fa23cdd4c9d086
updating update script to jetty-9.2.16.v20160407

Change-Id: I9f1221ba227c3ba582d0135dd2577604b219d8ce
doc/getJetty.sh