This repository has been archived by the owner. It is now read-only.

Update jetty to 8.1.7 #14953

Closed
wants to merge 1 commit into
from
Commits on Sep 15, 2012
  1. jetty: updated to 8.1.7, removed skip_clean

    Danny Beard committed Sep 15, 2012