diff options
Diffstat (limited to '')
| -rw-r--r-- | converters/pdf2djvu/files/patch-sys-uuid.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/converters/pdf2djvu/files/patch-sys-uuid.cc b/converters/pdf2djvu/files/patch-sys-uuid.cc deleted file mode 100644 index 49599f09f3f9..000000000000 --- a/converters/pdf2djvu/files/patch-sys-uuid.cc +++ /dev/null @@ -1,11 +0,0 @@ ---- sys-uuid.cc.orig 2019-06-23 11:41:41 UTC -+++ sys-uuid.cc -@@ -17,6 +17,8 @@ - #include "autoconf.hh" - #include "system.hh" - -+#include <cstring> -+ - #if WIN32 - - #include <cassert> |