Skip to content
GitLab
Explore
Sign in
staging
dune-functions
Merge requests
!185
Minor fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Max Kahnt
requested to merge
max.kahnt/dune-functions:feature/minor-fixes
into
master
Sep 04, 2018
Overview
0
Commits
3
Pipelines
1
Changes
4
Expand
Fixes some typos, spurious consts and includes
!180 (closed)
.
Merge request reports