From 2da2a6b1244325b96117b4d13c421299cdd0c518 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20De=20Keersmaeker?=
 <francois.dekeersmaeker@uclouvain.be>
Date: Wed, 17 Jul 2024 16:55:36 +0200
Subject: [PATCH] Removed submodule hashmap

---
 .gitmodules | 3 ---
 src/hashmap | 1 -
 2 files changed, 4 deletions(-)
 delete mode 100644 .gitmodules
 delete mode 160000 src/hashmap

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index cf208f4..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "src/hashmap"]
-	path = src/hashmap
-	url = git@github.com:tidwall/hashmap.c.git
diff --git a/src/hashmap b/src/hashmap
deleted file mode 160000
index 1c13992..0000000
--- a/src/hashmap
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1c139923fe08f36143ecc0ba37cd674684f87f9c
-- 
GitLab