log scripts/update_board.sh @ 429:8533f7198644 prerelease

age author description
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