Update docker/Dockerfile
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Thu, 12 Oct 2023 09:38:44 +0000 (11:38 +0200)
committerJulian Buecher <69958138+JulianHBuecher@users.noreply.github.com>
Thu, 12 Oct 2023 12:59:12 +0000 (14:59 +0200)
commit3dd8f3e4fe554f3cc936944c9c178ca323dd6204
tree339e947d6f844a42aaf0cfa7e0891df320024b67
parent1bc01ed2708999df85dcfe0507baf409bbc5959c
Update docker/Dockerfile
docker/Dockerfile