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 /lib | |
| parent | 2dec6cdff9133378d9b655ec074a88e1ada06452 (diff) | |
| download | extreload-d6c18fde2f9bf32c022e1a474cd1b8e676ae71d4.tar.bz2 | |
Remove `lib/with-user-abort` submodule
With-user-abort is now in Quicklisp.
Diffstat (limited to 'lib')
| m--------- | lib/with-user-abort | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/with-user-abort b/lib/with-user-abort deleted file mode 160000 -Subproject 16cc952d95d045b46c958309a4e988895f65d53 |