diff scripts/hvresources/uploader.py @ 402:c29f07b7350e prerelease

Quieter setup_board.sh, also invokes IDE setup if available
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 15 Jun 2016 02:21:13 +0100
parents c768ed1055b0
children df710a88e355 83e1acf38d35
line wrap: on
line diff