log scripts/ide.sh @ 459:f48d28244fe2 prerelease

age author description
Mon, 20 Jun 2016 02:48:31 +0100 Giulio Moro update is a bit more clean through Makefile prerelease
Mon, 20 Jun 2016 02:20:45 +0100 Giulio Moro Added script to control IDE prerelease