New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Devil: replace this by header-only lib. #2329

Merged

kimkulling merged 1 commit into master from remove_the_devil

Feb 7, 2019

Member

kimkulling commented Feb 7, 2019 •

edited

closes #2230 : uses header-only lib instead.
closes #2225 : removing devil so caused overflow shall discard.


          Devil: replace this by header-only lib.

3f9a25d

coveralls commented Feb 7, 2019

Coverage remained the same at 47.797% when pulling 3f9a25d on remove_the_devil into 0639239 on master.

kimkulling merged commit cd7a9fd into master

kimkulling deleted the remove_the_devil branch

February 7, 2019 18:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment