The URI of TUHH Docker Registry changed from "docker.rz.tu-harburg.de:5000" to "docker.rz.tu-harburg.de". Please update your gitlab-ci.yml files if you use images from this registry.

Commit 80deb99f authored by Hendrik Preuß's avatar Hendrik Preuß

add the Eigen submodule

parent 16d887fb
[submodule "source/Eigen"]
path = source/Eigen
url = https://github.com/eigenteam/eigen-git-mirror.git
Subproject commit cf794d3b741a6278df169e58461f8529f43bce5d
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment