Jan Christoph Uhde a297cdc3e8 check alternative registry key if the first one is not found (#3973)		2017-12-11 16:40:50 +01:00
..
windows_common.ps1	check alternative registry key if the first one is not found (#3973)	2017-12-11 16:40:50 +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