From bed08974f66c5949d8bf07da563dcf426f47c395 Mon Sep 17 00:00:00 2001
From: Larry Du <ldu0894@gmail.com>
Date: Mon, 17 Feb 2025 06:42:46 +0000
Subject: refactor: Renamed 'tools' to 'docker_tools'

---
 tools/devbox.sh | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100755 tools/devbox.sh

(limited to 'tools/devbox.sh')

diff --git a/tools/devbox.sh b/tools/devbox.sh
deleted file mode 100755
index afd7513..0000000
--- a/tools/devbox.sh
+++ /dev/null
@@ -1 +0,0 @@
-docker compose run --rm dev_environment /bin/bash
-- 
cgit v1.2.3