WIP: adaption to typetree from dune-common (!237) · Merge requests · staging / dune-functions · GitLab

Snippets Groups Projects

Closed Simon Praetorius requested to merge feature/common_typetree into master 5 years ago

The MR is used in combination with core/dune-common!771 (closed) to test the new typetree implementation in dune-common

Activity

Simon Praetorius mentioned in issue dune-typetree#9 5 years ago

mentioned in issue dune-typetree#9
Simon Praetorius added 1 commit 5 years ago
added 1 commit

fc3c7bb2 - update type-tree changes

Compare with previous version
Simon Praetorius @simon.praetorius 2 months ago

Author Owner

The dune-common MR is closes and so I will close this too.
Simon Praetorius closed 2 months ago

closed

Please register or sign in to reply