delete type_traits header #67

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

Open

dota17 wants to merge 1 commit into master from issue#1051

Owner

dota17 commented Nov 1, 2019

No description provided.


          delete type_traits header

ed264a9

coveralls commented Nov 1, 2019

Coverage remained the same at 88.064% when pulling ed264a9 on issue#1051 into 879febc on master.

dota17 force-pushed the master branch from 879febc to 2eb20a9 Compare

November 4, 2019 12:47

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

Labels

None yet