From cccb42d75185709ac2205fa66db1659c4d5c9684 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Ig=C3=B3n?= Date: Wed, 18 Dec 2024 18:15:04 +0100 Subject: [PATCH] change name of file bin/docker to bin/docker-exec --- bin/{docker => docker-exec} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bin/{docker => docker-exec} (100%) diff --git a/bin/docker b/bin/docker-exec similarity index 100% rename from bin/docker rename to bin/docker-exec