diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2024-01-16 19:34:32 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:24 -0500 |
| commit | 3c224aaceab629efb81d65b57259a57714a57e9e (patch) | |
| tree | fb2c53d091222cd32e79c45b60b3540ad0d9c42a | |
| parent | dev-gap/polenta: update LICENSE (diff) | |
| download | gentoo-3c224aaceab629efb81d65b57259a57714a57e9e.tar.gz gentoo-3c224aaceab629efb81d65b57259a57714a57e9e.tar.bz2 gentoo-3c224aaceab629efb81d65b57259a57714a57e9e.zip | |
dev-gap/io: drop unused patch
Suggested-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
| -rw-r--r-- | dev-gap/io/files/io-4.7.1-headers.patch | 13 |
1 files changed, 0 insertions, 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 |