delete libpsi submodule

psi-im · Mar 17, 2024 · bba5f73 · bba5f73
1 parent a3da097
commit bba5f73
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,9 +1,6 @@
 [submodule "iris"]
 	path = iris
 	url = https://github.com/psi-im/iris.git
-[submodule "src/libpsi"]
-	path = src/libpsi
-	url = https://github.com/psi-im/libpsi.git
 [submodule "3rdparty/qhttp"]
 	path = 3rdparty/qhttp
 	url = https://github.com/psi-im/qhttp.git

diff --git a/src/libpsi b/src/libpsi