From 08ed40d513ec0ea9637e3326a2f851c53982d3c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Thu, 17 Jun 2021 09:54:35 +0200 Subject: patches/libreadline-7.0.local.patch: deleted. --- patches/libreadline-7.0.local.patch | 1 - 1 file changed, 1 deletion(-) delete mode 120000 patches/libreadline-7.0.local.patch diff --git a/patches/libreadline-7.0.local.patch b/patches/libreadline-7.0.local.patch deleted file mode 120000 index c9a0e194..00000000 --- a/patches/libreadline-7.0.local.patch +++ /dev/null @@ -1 +0,0 @@ -libreadline-8.1.local.patch \ No newline at end of file -- cgit v1.2.3