diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /dev-libs/link-grammar/files | |
parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) |
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-libs/link-grammar/files')
-rw-r--r-- | dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch b/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch deleted file mode 100644 index 8015e3ceb1e4..000000000000 --- a/dev-libs/link-grammar/files/link-grammar-5.10.2-musl.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- a/link-grammar/minisat/minisat/utils/System.h -+++ b/link-grammar/minisat/minisat/utils/System.h -@@ -21,10 +21,6 @@ - #ifndef Minisat_System_h - #define Minisat_System_h - --#if defined(__linux__) --#include <fpu_control.h> --#endif -- - #include "minisat/mtl/IntTypes.h" - - //------------------------------------------------------------------------------------------------- |