From 7ffbd5d44a44bdb73faa22fdc8224c9263b69047 Mon Sep 17 00:00:00 2001
From: Christian Winther <jippignu@gmail.com>
Date: Thu, 22 Feb 2024 14:58:03 +0000
Subject: [PATCH] rename docker/bash to docker/shell

---
 docker/{bash => shell} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docker/{bash => shell} (100%)

diff --git a/docker/bash b/docker/shell
similarity index 100%
rename from docker/bash
rename to docker/shell