From 696a36475c19514883096dd22cb6afd355601aef Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Tue, 30 Jan 2024 21:24:47 +0100
Subject: [PATCH] Remove submodule directory to avoid messing with `git commit
 .`

Not sure it is a good idea. `git commit .` is a bad practice...
---
 packages/HighFive/deps/catch2 | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 packages/HighFive/deps/catch2

diff --git a/packages/HighFive/deps/catch2 b/packages/HighFive/deps/catch2
deleted file mode 160000
index 3f0283de7..000000000
--- a/packages/HighFive/deps/catch2
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 3f0283de7a9c43200033da996ff9093be3ac84dc
-- 
GitLab