diff options
| author | Teddy Wing | 2022-08-22 22:15:47 +0200 |
|---|---|---|
| committer | Teddy Wing | 2022-08-22 22:15:47 +0200 |
| commit | d6c18fde2f9bf32c022e1a474cd1b8e676ae71d4 (patch) | |
| tree | aad982ebf4bb57ae9b71ff8062bdb5faef5c7fab | |
| parent | 2dec6cdff9133378d9b655ec074a88e1ada06452 (diff) | |
| download | extreload-d6c18fde2f9bf32c022e1a474cd1b8e676ae71d4.tar.bz2 | |
Remove `lib/with-user-abort` submodule
With-user-abort is now in Quicklisp.
| -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 |