Skip to content
Snippets Groups Projects

Move include of config.h from source to some header files

Merged Simon Praetorius requested to merge feature/move-config-h-to-headers into master

This follows dune-common!1313 (merged) to remove all the config.h includes in sources files, since they are not needed anymore.

Edited by Simon Praetorius

Merge request reports

Merge request pipeline passed for 600c925b

Approval is optional
Test summary results are being parsed

Merged by Christoph GrüningerChristoph Grüninger 7 months ago (Jul 1, 2024 9:20pm UTC)

Merge details

  • Changes merged into master with e9a09d3b.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline passed for e9a09d3b on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading