12 Commits (7f013924a8ec8fac49e8c0b4d30e28bc0c3f10e4)

Author SHA1 Message Date
Matthias Sohn e05caf91f1 Update Jetty to 9.4.1.v20170120 8 years ago
Matthias Sohn efbecb9764 Update Orbit to S20170120205402 and com.jcraft.jsch to 0.1.54 8 years ago
Dave Borowitz 5bb434e01f Update JavaEWAH to 1.1.6 8 years ago
Matthias Sohn e1b7e4eec7 Update Mars orbit repository to R20160221192158 9 years ago
Matthias Sohn 3332998e59 Update build to final R20150821153341 Orbit repository for Mars.1 9 years ago
Matthias Sohn e78dd7df9d Update Jetty to 9.2.13.v20150730 9 years ago
Matthias Sohn 8bad6ef584 Update com.jcraft.jsch to 0.1.53 9 years ago
Matthias Sohn 174c8c5d39 Update 4.5 target platform to use final Mars Orbit repository 10 years ago
Matthias Sohn 39a29fba50 Update Mars target platforms to use Mars RC2 orbit 10 years ago
Matthias Sohn a24b7c3cc7 Update to Jetty 9.2.10 10 years ago
Matthias Sohn af4bde1ed2 Use Target Platform Definition DSL to generate target platforms 10 years ago