From be95afadef1839056416c229320741f7e266b715 Mon Sep 17 00:00:00 2001 From: Eduardo Bart Date: Thu, 5 Oct 2023 14:22:32 -0300 Subject: [PATCH] feat: Update to tools using new init system --- external/tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/tools b/external/tools index 6070b82..1d54f45 160000 --- a/external/tools +++ b/external/tools @@ -1 +1 @@ -Subproject commit 6070b82a3f5c2e058a7691e935abc46f138d2c4d +Subproject commit 1d54f45df70be2cb3ae9eac7c5a61973d4572a4c