commit: 3c224aaceab629efb81d65b57259a57714a57e9e Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org> AuthorDate: Wed Jan 17 00:34:32 2024 +0000 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org> CommitDate: Mon Jan 22 11:29:24 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c224aac
dev-gap/io: drop unused patch Suggested-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org> dev-gap/io/files/io-4.7.1-headers.patch | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/dev-gap/io/files/io-4.7.1-headers.patch b/dev-gap/io/files/io-4.7.1-headers.patch deleted file mode 100644 index 7a7e1d1ff702..000000000000 --- a/dev-gap/io/files/io-4.7.1-headers.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/src/io.c b/src/io.c -index 60a21ea..bc2499b 100644 ---- a/src/io.c -+++ b/src/io.c -@@ -14,7 +14,7 @@ - #include "compiled.h" // GAP headers - - #if GAP_KERNEL_MAJOR_VERSION >= 6 --#include "src/profile.h" -+#include "profile.h" - #endif - - #undef PACKAGE
