mpir/msvc/vs17
Brian Gladman 63a19327c7 remove files that should not be in the repository;
update msbuild.bat to input the Windows SDK wanted
2018-08-30 20:38:31 +01:00
..
dll_mpir_gc add back new msvc build 2018-08-29 14:15:58 +01:00
lib_mpir_cxx add back new msvc build 2018-08-29 14:15:58 +01:00
lib_mpir_gc add back new msvc build 2018-08-29 14:15:58 +01:00
mpir-tests add back new msvc build 2018-08-29 14:15:58 +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 add back new msvc build 2018-08-29 14:15:58 +01:00
msbuild.bat remove files that should not be in the repository; 2018-08-30 20:38:31 +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 add back new msvc build 2018-08-29 14:15:58 +01:00