diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | lib/with-user-abort | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 04f0797..067aecd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "lib/wait-group"] path = lib/wait-group url = https://github.com/teddywing/cl-wait-group.git -[submodule "lib/with-user-abort"] - path = lib/with-user-abort - url = https://github.com/compufox/with-user-abort.git diff --git a/lib/with-user-abort b/lib/with-user-abort deleted file mode 160000 -Subproject 16cc952d95d045b46c958309a4e988895f65d53 |