From 3b23fc9578a59f5e9b44b27ef415a9c3f0f6c4e6 Mon Sep 17 00:00:00 2001 From: mattmcw Date: Wed, 9 Oct 2024 00:56:31 -0400 Subject: [PATCH] Try to remove args dependency --- .gitignore | 2 ++ .gitmodules | 5 +---- args | 1 - 3 files changed, 3 insertions(+), 5 deletions(-) create mode 100644 .gitignore delete mode 160000 args diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ee28272 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +*.DS_Store + diff --git a/.gitmodules b/.gitmodules index 76c2838..ca8ae53 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1,4 @@ -[submodule "args"] - path = args - url = https://github.com/Taywee/args.git - branch = 6.4.6 + [submodule "include/json"] path = include/json url = https://github.com/nlohmann/json.git diff --git a/args b/args deleted file mode 160000 index cc2368c..0000000 --- a/args +++ /dev/null @@ -1 +0,0 @@ -Subproject commit cc2368ca0d8a962862c96c00fe919e1480050f51