log scripts/halt_board.sh @ 507:1cec96845a23 prerelease

age author description
2016-06-20 Giulio Moro Path-relativeness of scripts has been improved. At least update_board will work when double clicked prerelease
2016-06-16 Giulio Moro Scripts use sh instead of bash. Some fixes in run_project and build_project prerelease
2016-06-09 Giulio Moro Updated halt_board.sh prerelease