Skip to content
Snippets Groups Projects
Select Git revision
  • d1d6a4686464e4b34afb40f6febdd4ab67c7890a
  • master default protected
  • dev_moritz
  • 0.2.0
  • 0.1.0
5 results

Dockerfile

graeser's avatar
graeser authored
[bugfix] Replace usage of outdated *Mapper interface

See merge request agnumpde/dune-fufem!67
7a3c7508
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.