log scripts/update_board.sh @ 432:8c4b97cc63b8 prerelease

age author description
Thu, 16 Jun 2016 20:02:41 +0100 Giulio Moro Fixed update_board.sh prerelease
Thu, 16 Jun 2016 19:21:46 +0100 Giulio Moro Re-added Doxygen prerelease
Thu, 16 Jun 2016 19:20:22 +0100 Giulio Moro Some more sh compatiblity things: no &>, no 'function' prerelease
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