summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorFabrice <fabrice@schaub-dev.xyz>2026-02-10 10:59:29 +0100
committerFabrice <fabrice@schaub-dev.xyz>2026-02-10 10:59:29 +0100
commitf1c6331ec81002f87b68b17d4473fcdfaecfdcbf (patch)
tree33d0000e92d89c3e1d9666e012b4e4f4258dc06b /.gitmodules
parent0392e6d7c5b486d1af72742b7df5ec398af0aa04 (diff)
use dev3
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 981d9ff..e48e435 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,7 @@
[submodule "mimalloc"]
path = mimalloc
url = https://github.com/microsoft/mimalloc.git
+ branch = dev3
[submodule "hashmap"]
path = hashmap
url = https://github.com/tidwall/hashmap.c.git