![[Jenkins]](/jwt/static/863f2fb2/images/headshot.png)
Started 4 yr 6 mo ago
Took 14 min
Build #4
(May 28, 2015 8:53:14 AM)
 | No changes. |
 | Started by user christian.saad@informatik.uni-augsburg.de |
 | Revision: 7a6780dcf92d968ece15c5f225635e230e330792
|