diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-16 10:38:03 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-16 10:38:03 +0200 |
| commit | 509963769e6e9d29e70dcc20118ea29f785b0a51 (patch) | |
| tree | 32b7228fac486f7a5c8d1f0697889e335584c864 /Dockerfile_gudhi_installation | |
| parent | 95cd898582a66ec305fc698ef760ab47a0db802c (diff) | |
Fix #352
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 && \ |