Jan Christoph Uhde fd166d07f4 try to fix windows build (#4468)		2018-01-31 10:09:39 +01:00
..
windows_common.ps1	…
windows_vs2015_RelWithDebInfo.ps1	…
windows_vs2017_Debug.ps1	…
windows_vs2017_RelWithDebInfo.ps1	…
windows_vs2017_Release.ps1	…