log scripts/update_board @ 503:04212032c779 prerelease

age author description
Tue, 21 Jun 2016 17:24:20 +0100 Giulio Moro update_board does not coreclean if --no-frills prerelease
Tue, 21 Jun 2016 15:16:55 +0100 Giulio Moro update_board can skip updating the IDE prerelease
Mon, 20 Jun 2016 21:28:34 +0100 Giulio Moro update_board forwards flags to update_IDE, IDE gets restarted only once prerelease