Jan Christoph Uhde 41a8c581a3 fix windows build (#3855)		2017-12-06 16:35:45 +01:00
..
windows_common.ps1	…
windows_vs2015_RelWithDebInfo.ps1	…
windows_vs2017_Debug.ps1	…
windows_vs2017_RelWithDebInfo.ps1	…
windows_vs2017_Release.ps1	…