From 600c0c09b76cf4cf6cc6d11df312f05ad77035c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Ellensohn?= Date: Thu, 10 Aug 2023 11:04:14 +0200 Subject: [PATCH] update --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index a837000..6043dc1 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -72,7 +72,7 @@ RUN vcs import < overlay.repos WORKDIR /overlay_ws -RUN echo "update overlay 10.08.2023" +RUN echo "update overlay 10.08.2023-1" RUN source /rmp_ws/install/setup.bash \ && apt-get update \