"br-ext/git@gitlab.cc-asp.fraunhofer.de:rafft/build.git" did not exist on "4dc6908c60bf1289718c8c5f062c0b7054baecf4"
-
Dominic Kempf authored
Merge branch 'feature/put-facedir-facemod-info-on-visitor' into 'master' ref:extensions/dune-codegen This seems like the right thing to do with mixins in place. See merge request [extensions/dune-codegen!320] [extensions/dune-codegen!320]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/320
Dominic Kempf authoredMerge branch 'feature/put-facedir-facemod-info-on-visitor' into 'master' ref:extensions/dune-codegen This seems like the right thing to do with mixins in place. See merge request [extensions/dune-codegen!320] [extensions/dune-codegen!320]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/320