Skip to content
Snippets Groups Projects
Commit 78ebe210 authored by graeser's avatar graeser
Browse files

Merge branch 'rename-prebasis-factories' into 'master'

Rename prebasis factories

See merge request staging/dune-functions!107
parents 20f9e7b8 753614a0
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment