Skip to content

Cleanup: remove "side" from variable names and type aliases; smaller cleanups

Ansgar Burchardt requested to merge ansgar/dune-grid-glue:cleanup/side-in-variable-names into master

Merge request reports