Remove main file if empty during hex creation#1223

microbit-robert wants to merge 1 commit intomainmicrobit-foundation/python-editor-v3:mainfrom

empty-main-filemicrobit-foundation/python-editor-v3:empty-main-fileCopy head branch name to clipboard