diff scripts/hvresources/uploader.py @ 530:fcf36d293458 prerelease

update_board does not restart the IDE with --no-frills (hence the name)
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 23 Jun 2016 19:17:43 +0100
parents a084456960c9
children 67a746eea29e
line wrap: on
line diff