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

[numerics] Remove useless \mbox wrappings. #1354

Merged

tkoeppe merged 1 commit into cplusplus:master from Eelis:mbox

Jan 11, 2017

Contributor

Eelis commented Jan 11, 2017 •

edited

No visual difference.


          [numerics] Remove useless \mbox wrappings.

096ecb5

tkoeppe merged commit b2dd291 into cplusplus:master

Eelis deleted the mbox branch

January 13, 2017 16:43

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