win/patches/mpfr.patch

--- a/build.vc15/lib_mpfr/lib_mpfr.vcxproj
+++ a/build.vc15/lib_mpfr/lib_mpfr.vcxproj
@@ -25 +25 @@
-    <WindowsTargetPlatformVersion>10.0.17134.0</WindowsTargetPlatformVersion>
+    <WindowsTargetPlatformVersion>sdk</WindowsTargetPlatformVersion>
Make use of cgal configurable 2019-05-15 11:13:58 +02:00			`--- a/build.vc15/lib_mpfr/lib_mpfr.vcxproj`
			`+++ a/build.vc15/lib_mpfr/lib_mpfr.vcxproj`
			`@@ -25 +25 @@`
MPIR and MPFR in win build script 2019-05-03 10:46:59 +02:00			`- <WindowsTargetPlatformVersion>10.0.17134.0</WindowsTargetPlatformVersion>`
			`+ <WindowsTargetPlatformVersion>sdk</WindowsTargetPlatformVersion>`