Only upload file to device if remote is different#107

jdjjm wants to merge 5 commits intoJetBrains:masterJetBrains/intellij-micropython:masterfrom

jdjjm:patch-4jdjjm/intellij-micropython:patch-4Copy head branch name to clipboard