log scripts/update_board.sh @ 420:669855b8461b prerelease

age author description
Thu, 16 Jun 2016 13:54:48 +0100 Giulio Moro update_board.sh now correctly resolves relative paths to the $IDE_FOLDER prerelease
Thu, 16 Jun 2016 03:42:10 +0100 Giulio Moro Unconditionally restarting IDE after update_board.sh prerelease