From 3d5b83ca245fbbf6da00dc045742d89215b5c97d Mon Sep 17 00:00:00 2001 From: KiritoDv Date: Mon, 9 Dec 2024 10:23:45 -0600 Subject: [PATCH] Removed unused tool --- tools/future | 1 - 1 file changed, 1 deletion(-) delete mode 160000 tools/future diff --git a/tools/future b/tools/future deleted file mode 160000 index 57f4129a..00000000 --- a/tools/future +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 57f4129a7a0792c6c0f7e44e8c171c8e01c12a41