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