Skip to content
Snippets Groups Projects
  1. Jul 30, 2019
    • Dominic Kempf's avatar
      [!320] Move get_facedir/get_facemod into accumulation mixin · 66946398
      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
      66946398
  2. Jul 29, 2019
  3. Jul 25, 2019
  4. Jul 24, 2019
  5. Jul 23, 2019
  6. Jul 22, 2019
Loading