Skip to content
GitLab
Explore
Sign in
staging
dune-typetree
Merge requests
!47
Fix two minor typos
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carsten Gräser
requested to merge
feature/fix-typos
into
master
Jul 02, 2018
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
MR with Olivers patch. Fixes
#8 (closed)
.
Merge request reports