log scripts/update_board @ 556:ce391098f321 prerelease tip

age author description
Fri, 24 Jun 2016 15:18:07 +0100 Giulio Moro update_board removes old dox prerelease
Thu, 23 Jun 2016 19:17:43 +0100 Giulio Moro update_board does not restart the IDE with --no-frills (hence the name) prerelease
Thu, 23 Jun 2016 18:15:26 +0100 Giulio Moro stricthostchecking is added to each check_board_alive API-update