This repository has been archived by the owner on Sep 5, 2020. It is now read-only.

Removing DavidDM broken badges #1631

Merged

luclu merged 2 commits into develop from ev_remove_daviddm_badges

Feb 1, 2017

Merged

Merge branch 'develop' into ev_remove_daviddm_badges

Provide feedback