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

Use columns=fullflexible listings option. #1426

Merged

zygoloid merged 1 commit into cplusplus:master from Eelis:fullflexible

Feb 5, 2017

Contributor

Eelis commented Feb 4, 2017 •

edited

Removes the need to use \textit{\textrm{...}}to prevent the columns=flexible listings option from inserting unwanted spaces.
Improves spacing in a few places where that workaround was not yet used.


          Use columns=fullflexible listings option.

f77d8e5

Member

zygoloid commented Feb 5, 2017

Thanks for the diffs, that makes this very easy to approve :)

zygoloid merged commit 70f8a74 into cplusplus:master

Eelis deleted the fullflexible branch

February 5, 2017 05:53

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