Polling Log
This page captures the polling log that triggered this build.
Started on Dec 12, 2013 5:08:27 PM Using strategy: Default [poll] Last Built Revision: Revision 080f4390a4eea8ae445fd3b64dda31d653e2bf2d (origin/develop) using GIT_SSH to set credentials git for projects.gwdg.de Done. Took 0.88 sec Changes found