luca-heltai / docker-files

Docker files to automatically build docker-images

Docker files to create Docker images with deal.II

Started from @tjhei, edited by @luca-heltai