Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
ogs
ogs
Merge Requests
!3435
Merged
Created
Feb 09, 2021
by
Lars Bilke
@bilke
Developer
1 of 1 task completed
1/1 task
Options
[CMake] Removed option OGS_USE_EIGEN.
Overview
0
Commits
1
Pipelines
2
Changes
16
Fixes
#3100 (closed)
.
Feature description was added to the
changelog
👍
0
👎
0