libhermit/docker
Stefan Lankes 30145dddcf add missing OpenMP library to the docker container 2019-02-26 10:08:31 +01:00
..
Dockerfile add missing OpenMP library to the docker container 2019-02-26 10:08:31 +01:00