Skip to content
Snippets Groups Projects
  1. Oct 08, 2019
  2. Sep 04, 2019
  3. Jul 10, 2019
  4. Jul 09, 2019
  5. Jun 29, 2019
  6. Jun 19, 2019
  7. Jun 18, 2019
  8. Jun 13, 2019
  9. May 27, 2019
  10. May 16, 2019
  11. May 07, 2019
  12. Apr 30, 2019
  13. Apr 17, 2019
    • Ansgar Burchardt's avatar
      [!124] Fix warning: variable 'errorflag' set but not used · 11404bc8
      Ansgar Burchardt authored
      Merge branch 'fix_warning_set_but_unused_errorflag' into 'master'
      
      ref:staging/dune-uggrid
      
          I added the attribute "DUNE_UNUSED" to the variable "errorflag" to avoid the
           warning: "variable 'errorflag' set but not used".
      
      See merge request [!124]
      
        [!124]: gitlab.dune-project.org/staging/dune-uggrid/merge_requests/124
      11404bc8
  14. Apr 10, 2019
  15. Apr 03, 2019
  16. Apr 02, 2019
  17. Mar 19, 2019
  18. Mar 14, 2019
  19. Jan 31, 2019
    • Ansgar Burchardt's avatar
      [!119] Centralize CI configuration · b2d9f06c
      Ansgar Burchardt authored
      Merge branch 'ci/centralize-config' into 'master'
      
      ref:staging/dune-uggrid This MR switches the CI configuration to use the
      common job templates defined in core/ci-config.
      
      See merge request [!119]
      
        [!119]: gitlab.dune-project.org/staging/dune-uggrid/merge_requests/119
      b2d9f06c
  20. Dec 06, 2018
Loading