log scripts/update_board.sh @ 427:fd948111f8ea prerelease

age author description
Thu, 16 Jun 2016 18:09:59 +0100 Giulio Moro Compatibility: mingw's default date format is not parsed correctly by Debian; stat is not necessarily available prerelease
Thu, 16 Jun 2016 15:55:03 +0100 Giulio Moro Scripts use sh instead of bash. Some fixes in run_project and build_project prerelease
Thu, 16 Jun 2016 14:02:15 +0100 Giulio Moro update_board.sh now disables Bela at startup and enables the IDE at startup prerelease