Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
eq4036
OGL
Repository
OGL
CMakeLists.txt
Find file
Blame
History
Permalink
make OGL_USE_EXTERNAL_GINKGO an option
· 5e48661e
Gregor Olenik
authored
Apr 16, 2021
5e48661e