From e1917e453d3194db38ce8ba725cd60db8be2c992 Mon Sep 17 00:00:00 2001
From: nbats <44333466+nbats@users.noreply.github.com>
Date: Sat, 20 Jan 2024 15:37:14 -0800
Subject: [PATCH] Update DEVTools.md

---
 DEVTools.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DEVTools.md b/DEVTools.md
index 79ab0b491..f927a1ea2 100644
--- a/DEVTools.md
+++ b/DEVTools.md
@@ -1027,7 +1027,7 @@
 
 ***
 
-## Docker Tools
+## ▷ Docker Tools
 
 * ⭐ **[Docker](https://www.docker.com/)** - Build, Manage and Run Apps in Containers
 * ⭐ **[portainer](https://portainer.io/)**, [sudobox](https://sudobox.io/) / [Discord](https://discord.gg/Ebh9rKQ5Ws), [yacht](https://yacht.sh/), [moncho](https://moncho.github.io/dry/) or [podman](https://podman.io/) - Container Managers