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