log scripts/update_board.sh @ 419:4fb06ca94e02 prerelease

age author description
Thu, 16 Jun 2016 03:42:10 +0100 Giulio Moro Unconditionally restarting IDE after update_board.sh prerelease