log .cproject @ 528:5c8f46fcd4d0 API-update

age author description
Mon, 20 Jun 2016 21:28:34 +0100 Giulio Moro update_board forwards flags to update_IDE, IDE gets restarted only once prerelease