diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-16 21:17:18 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-16 21:17:18 +0200 |
commit | 4e43680ec21c64e575ae991b39a2d897bda2a302 (patch) | |
tree | e57fd3de2e28f431dbd93dcab934eb9f069cc729 /Dockerfile_gudhi_installation | |
parent | 0a26e55af17a19b3e33b852b722f6d089abc6f9c (diff) | |
parent | a12d1451d1413444319ccdc24bfacaae35012ce0 (diff) |
Merge branch 'master' into edge_collapse_integration_vincent
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r-- | Dockerfile_gudhi_installation | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 461a8a19..996dd06b 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -1,4 +1,4 @@ -FROM ubuntu:19.04 +FROM ubuntu:20.04 # Update and upgrade distribution RUN apt-get update && \ |