From 753406922ee9d0001c9ecc4f5ea3f4fcaa077e38 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Tue, 16 Sep 2025 12:17:31 +0200 Subject: checkpoint --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitmodules (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index f2e64bf..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "code/libs/linuxhmh"] - path = code/libs/linuxhmh - url = git@autumn:linuxhmh -- cgit v1.2.3-70-g09d2