From 27a7faaab797ec8d43b6932800a4cd16e3223faa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kuba=20Szczodrzy=C5=84ski?= Date: Thu, 18 May 2023 22:14:58 +0200 Subject: [PATCH] [core] Remove boardgen submodule --- tools/boardgen | 1 - 1 file changed, 1 deletion(-) delete mode 160000 tools/boardgen diff --git a/tools/boardgen b/tools/boardgen deleted file mode 160000 index 7d6a236..0000000 --- a/tools/boardgen +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 7d6a23672ba33dd2a6a445db1d28cd38247d5ee4