Commit 08448e7d authored by David Tellenbach's avatar David Tellenbach Committed by Tobias Lasser

Replace deprecated Eigen Github submodule by new Gitlab submodule.

parent 7eb49fbd
Pipeline #234521 passed with stages
in 57 minutes and 30 seconds