Jan Christoph Uhde fd166d07f4 try to fix windows build (#4468)		2018-01-31 10:09:39 +01:00
..
windows_common.ps1	try to fix windows build (#4468)	2018-01-31 10:09:39 +01:00
windows_vs2015_RelWithDebInfo.ps1	check alternative registry key if the first one is not found (#3973)	2017-12-11 16:40:50 +01:00
windows_vs2017_Debug.ps1	check alternative registry key if the first one is not found (#3973)	2017-12-11 16:40:50 +01:00
windows_vs2017_RelWithDebInfo.ps1	check alternative registry key if the first one is not found (#3973)	2017-12-11 16:40:50 +01:00
windows_vs2017_Release.ps1	check alternative registry key if the first one is not found (#3973)	2017-12-11 16:40:50 +01:00