bumping rsdd version

SHoltzen · Oct 8, 2023 · ed86716 · ed86716
1 parent 800cd7b
commit ed86716
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,4 @@
 [submodule "rsdd"]
 	path = rsdd
+	branch = rsdd-dice
 	url = https://github.com/SHoltzen/rsdd
diff --git a/rsdd b/rsdd