cladmi 52b0b183a3 boards/flash.sh: rename HEXFILE to BINFILE ... Flasher are doing 'loadbin' so use BINFILE name.		2018-11-26 16:39:11 +01:00
..
debug.sh
flash.sh	boards/flash.sh: rename HEXFILE to BINFILE	2018-11-26 16:39:11 +01:00
reset.sh