From 4341454912385a1d6fe1a2845d9a639c051bff44 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 13 Nov 2018 16:05:47 +0100 Subject: extra/sbcl: remove obsolete patch --- extra/sbcl/x86-linux-os.patch | Bin 3510 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 extra/sbcl/x86-linux-os.patch (limited to 'extra/sbcl/x86-linux-os.patch') diff --git a/extra/sbcl/x86-linux-os.patch b/extra/sbcl/x86-linux-os.patch deleted file mode 100644 index c1fd12b7..00000000 Binary files a/extra/sbcl/x86-linux-os.patch and /dev/null differ -- cgit v1.2.3-54-g00ecf