Skip to content
GitLab
Explore
Sign in
hyteg
hyteg
Merge requests
!576
Mark Eigen as dependency
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marcus Mohr
requested to merge
mohr-master-patch-81519
into
master
Mar 22, 2023
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
Since we can no longer built without Eigen, it no longer belongs in the "optional" section
Merge request reports