docker/run.sh: fix omp-server failing to start due to missing libraries - #1263
Open
vincenzocorso wants to merge 1 commit into
Open
docker/run.sh: fix omp-server failing to start due to missing libraries#1263vincenzocorso wants to merge 1 commit into
vincenzocorso wants to merge 1 commit into