pybind

2023-09-07 20:37:30 +02:00
parent cbb59ee8d7
commit ba8fe1e1c5
2 changed files with 5 additions and 0 deletions
@@ -0,0 +1,4 @@
+[submodule "lib/pybind11"]
+	path = lib/pybind11
+	url = https://github.com/pybind/pybind11
+	branch = stable