Skip to content
GitLab
Explore
Sign in
Temporarily for the nightlies merge RichKernel-MoveToRichUtils while preparing Sim09ToMaster
Code
Review changes
Check out branch
Download
Patches
Plain diff
Gloria Corti
requested to merge
cherry-pick-74a683fd
into
master
May 22, 2017
Overview
2
Commits
1
Pipelines
0
Changes
2
Expand
Adapt to move of headers to RichUtils
See merge request
!34 (merged)
Merge request reports