Brian Gladman b896fc6f09 correct some references to the old build system		2018-09-05 12:39:04 +01:00
..
dll_mpir_gc	update to use the Windows 10 version 1803 as the default Windows SDK (10.0.17134.0)	2018-09-03 08:19:37 +01:00
lib_mpir_cxx	update to use the Windows 10 version 1803 as the default Windows SDK (10.0.17134.0)	2018-09-03 08:19:37 +01:00
lib_mpir_gc	update to use the Windows 10 version 1803 as the default Windows SDK (10.0.17134.0)	2018-09-03 08:19:37 +01:00
mpir-tests	correct some references to the old build system	2018-09-05 12:39:04 +01:00
mpir-tune	add back new msvc build	2018-08-29 14:15:58 +01:00
mpir-tests.sln	add back new msvc build	2018-08-29 14:15:58 +01:00
mpir-tune.sln	add back new msvc build	2018-08-29 14:15:58 +01:00
mpir.sln	update to use the Windows 10 version 1803 as the default Windows SDK (10.0.17134.0)	2018-09-03 08:19:37 +01:00
msbuild.bat	make last two parameters for msbuild.bat optional	2018-09-03 17:03:33 +01:00
run-speed.py	add back new msvc build	2018-08-29 14:15:58 +01:00
run-tests.py	add back new msvc build	2018-08-29 14:15:58 +01:00
version_info.py	update to use the Windows 10 version 1803 as the default Windows SDK (10.0.17134.0)	2018-09-03 08:19:37 +01:00