Commit 8d4ec10e authored by Oliver Sander's avatar Oliver Sander

Merge branch 'cleanupRaviartThomasBasis' into 'master'

Cleanup RaviartThomasBasis

See merge request !282
parents 906148b4 4edc0bad
Pipeline #34036 passed with stage
in 8 minutes and 18 seconds