Remove other projects' sources

2024-01-07 19:58:22 +01:00
parent 6ef5ca541a
commit 55af0714cd
107 changed files with 49 additions and 9544 deletions
--- a/.gitmodules
+++ b/.gitmodules
@@ -18,8 +18,6 @@
 	url = https://github.com/nlohmann/json.git
        master = master
 	update = merge
-[submodule "lib/libxlsxwriter"]
-	path = lib/libxlsxwriter
-	url = https://github.com/jmcnamara/libxlsxwriter.git
-        main = main
-	update = merge
+[submodule "lib/folding"]
+	path = lib/folding
+	url = https://github.com/rmontanana/folding