From cf1b407f05cdf095331b478553a8fcb0c6ddb810 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Peter=20M=C3=BCller?= Date: Thu, 11 May 2023 20:11:04 +0000 Subject: [PATCH] Core Update 175: Ship mpfr MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Peter Müller --- config/rootfiles/core/175/filelists/mpfr | 1 + 1 file changed, 1 insertion(+) create mode 120000 config/rootfiles/core/175/filelists/mpfr diff --git a/config/rootfiles/core/175/filelists/mpfr b/config/rootfiles/core/175/filelists/mpfr new file mode 120000 index 0000000000..c8468bf42f --- /dev/null +++ b/config/rootfiles/core/175/filelists/mpfr @@ -0,0 +1 @@ +../../../common/mpfr \ No newline at end of file -- 2.39.5