Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
dumux-lecture
Manage
Activity
Members
Labels
Plan
Issues
2
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
dumux-repositories
dumux-lecture
Merge requests
!111
[cleanup] remove unnecessary dune headers
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
[cleanup] remove unnecessary dune headers
cleanup/duneheaders
into
master
Overview
0
Commits
1
Pipelines
0
Changes
18
Merged
Ned Coltman
requested to merge
cleanup/duneheaders
into
master
4 years ago
Overview
0
Commits
1
Pipelines
0
Changes
18
Expand
👍
0
👎
0
Merge request reports
Compare
master
master (base)
and
latest version
latest version
1d8e9490
1 commit,
4 years ago
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Files
18
Search (e.g. *.vue) (Ctrl+P)
Loading