[gentoo-commits] repo/gentoo:master commit in: dev-gap/io/files/

[gentoo-commits] repo/gentoo:master commit in: dev-gap/io/files/

[Michael Orlitzky]

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