From ea73fd708341772b9a9e58655dee3f7473a3cb38 Mon Sep 17 00:00:00 2001
From: David Rotermund <davrot@uni-bremen.de>
Date: Tue, 16 Jul 2024 18:47:56 +0200
Subject: [PATCH] Create down.sh

---
 check_users/down.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 check_users/down.sh

diff --git a/check_users/down.sh b/check_users/down.sh
new file mode 100644
index 0000000..36f5aa9
--- /dev/null
+++ b/check_users/down.sh
@@ -0,0 +1 @@
+docker compose down