From 366bae41ff322b42e58e920cadb3b406b000fe4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20M=C3=BCller?= Date: Mon, 26 Dec 2022 08:34:23 +0000 Subject: [PATCH] Core Update 173: Ship mpfr MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Peter Müller --- config/rootfiles/core/173/filelists/mpfr | 1 + 1 file changed, 1 insertion(+) create mode 120000 config/rootfiles/core/173/filelists/mpfr diff --git a/config/rootfiles/core/173/filelists/mpfr b/config/rootfiles/core/173/filelists/mpfr new file mode 120000 index 000000000..c8468bf42 --- /dev/null +++ b/config/rootfiles/core/173/filelists/mpfr @@ -0,0 +1 @@ +../../../common/mpfr \ No newline at end of file