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