From 89867c942d48bea7d81df8e7c62494c119dda722 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sun, 19 Apr 2020 13:08:45 +0200 Subject: build-support/rust141: patch file for typenum in wrong place --- .../rust141/rustc-1.41.0-src-typenum-U1024.patch | Bin 0 -> 4069 bytes rustc-1.41.0-src-typenum-U1024.patch | Bin 4069 -> 0 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 build-support/rust141/rustc-1.41.0-src-typenum-U1024.patch delete mode 100644 rustc-1.41.0-src-typenum-U1024.patch diff --git a/build-support/rust141/rustc-1.41.0-src-typenum-U1024.patch b/build-support/rust141/rustc-1.41.0-src-typenum-U1024.patch new file mode 100644 index 00000000..d1484d5c Binary files /dev/null and b/build-support/rust141/rustc-1.41.0-src-typenum-U1024.patch differ diff --git a/rustc-1.41.0-src-typenum-U1024.patch b/rustc-1.41.0-src-typenum-U1024.patch deleted file mode 100644 index d1484d5c..00000000 Binary files a/rustc-1.41.0-src-typenum-U1024.patch and /dev/null differ -- cgit v1.2.3-54-g00ecf