log scripts/update_board @ 491:89212ad6a0bf 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