Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Open sidebar
dumux-repositories
dumux
Issues
#852
Closed
Open
Issue created
Apr 01, 2020
by
Timo Koch
@timok
Owner
3 of 3 checklist items completed
3/3 checklist items
Run and fix make headercheck
Review the dumux repo (
!1940 (merged)
,
!1945 (merged)
,
!1970 (merged)
)
Review the dumux-course (
dumux-course!99 (merged)
)
Review the dumux-lecture (
dumux-lecture!106 (merged)
)
Edited
Apr 14, 2020
by
Ned Coltman