From de2d63e3456c3aabef02eaed9fd9f80855a0d77a Mon Sep 17 00:00:00 2001 From: georgemoralis Date: Fri, 30 Jan 2026 12:02:36 +0200 Subject: [PATCH] fix2 --- externals/ext-CLI11 | 1 - 1 file changed, 1 deletion(-) delete mode 160000 externals/ext-CLI11 diff --git a/externals/ext-CLI11 b/externals/ext-CLI11 deleted file mode 160000 index 1cce14833..000000000 --- a/externals/ext-CLI11 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1cce1483345e60997b87720948c37d6a34db2658