Chris Roberts 2730fe7ec9 Update script parameter name in option to switchid ... Fixes #9774		2018-05-04 08:55:18 -07:00
..
docker	(#9622) Use SafeExec for docker-exec	2018-05-02 14:23:50 -07:00
hyperv	Update script parameter name in option to switchid	2018-05-04 08:55:18 -07:00
virtualbox	Allow other providers in WSL	2018-05-02 22:36:17 +02:00