Remove unneeded argparse module

2024-01-08 00:55:16 +01:00
parent 666782217e
commit 80afdc06f7
4 changed files with 0 additions and 8 deletions
--- a/.gitmodules
+++ b/.gitmodules
@@ -8,11 +8,6 @@
        main  = v2.x
 	update = merge
 	url = https://github.com/catchorg/Catch2.git
-[submodule "lib/argparse"]
-	path = lib/argparse
-	url = https://github.com/p-ranav/argparse
-	master = master
-	update = merge
 [submodule "lib/json"]
 	path = lib/json
 	url = https://github.com/nlohmann/json.git