Skip to content
GitLab
Explore
Sign in
Register
dumux-repositories
dumux-docker-ci
Issues
#11
Remove 20.04 images?
I think we can get rid of 20.04 images and after making sure that they are not in use anymore.