Add support for opening the IDE from DevUI even if the default IDE script doesn't exist#16121

Merged

phillip-kruger merged 1 commit intoquarkusio:mainfrom geoand:#15721

Mar 31, 2021

+100-24

Commits on Mar 31, 2021

Add support for opening the IDE from DevUI even if the default ide script doesn't exist
geoand
committed