Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change CI badge to point to ad-freiburg/master
Sadly there is currently no way to automatically detect the right branch see also travis-ci/travis-ci#779
- Loading branch information