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