From 509963769e6e9d29e70dcc20118ea29f785b0a51 Mon Sep 17 00:00:00 2001 From: ROUVREAU Vincent Date: Tue, 16 Jun 2020 10:38:03 +0200 Subject: Fix #352 --- Dockerfile_gudhi_installation | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile_gudhi_installation') 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 && \ -- cgit v1.2.3