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 range-based for loops. #5265

Merged

gassmoeller merged 1 commit into geodynamics:main from bangerth:face_indices

Jul 11, 2023

Contributor

bangerth commented Jul 11, 2023

While there, also add an early-exit to a loop.


          Use range-based for loops.

6a98065

While there, also add an early-exit to a loop.

bangerth added the ready to test label

gassmoeller approved these changes

View reviewed changes

gassmoeller added the ready to merge label

gassmoeller merged commit c518b89 into geodynamics:main

6 checks passed

bangerth deleted the face_indices branch

July 11, 2023 05:07

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