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

tools: update to clang-format-10 #1200

Merged

julianoes merged 2 commits into develop from pr-clang10

Oct 2, 2020

Collaborator

julianoes commented Oct 1, 2020

This is because we can build on Ubuntu 20.04 now, not 18.04 anymore.


          tools: update to clang-format-10

34f3af9

julianoes requested a review from JonasVautherin

October 1, 2020 13:10


          Fix style with clang-format-10

518099c

julianoes added the enhancement label

JonasVautherin approved these changes

View reviewed changes

Collaborator

JonasVautherin left a comment

Nice, I'll go back to ./tools/fix_style.sh . instead of going through Docker, then 😆

julianoes merged commit 6e2607d into develop

julianoes deleted the pr-clang10 branch

October 2, 2020 06:05

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

Labels