search

dealii / docker-files

Docker files to automatically build docker-images
10 stars 14 forks source link

Re organize #23

Closed luca-heltai closed 5 years ago

luca-heltai commented 5 years ago

I moved all Docker files relating single images into a single subdirectory, making each tag its own dockerfile with suffix. This reflects how things are on docker hub, and makes maintenance a little easier...