log scripts/update_board @ 509:3bb63b848960 prerelease

age author description
Wed, 22 Jun 2016 01:28:25 +0100 Giulio Moro update_board again prerelease
Wed, 22 Jun 2016 01:24:55 +0100 Giulio Moro update_board prerelease
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
Mon, 20 Jun 2016 17:32:05 +0100 Liam Donovan remove reference to examples/core/link_core.sh from update_board prerelease
Mon, 20 Jun 2016 13:49:48 +0100 Giulio Moro update_board made path-independent (for what is possible ... ) prerelease