Skip to content
Snippets Groups Projects
Commit b1bcb542 authored by Dominic Kempf's avatar Dominic Kempf
Browse files

[!286] Some changes for latest dune richards

Merge branch 'feature/latest-dune-richards' into 'master'

See merge request [extensions/dune-codegen!286]

  [extensions/dune-codegen!286]: Noneextensions/dune-codegen/merge_requests/286
parents d21f57ea e3f9eaa3
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment