log Makefile @ 412:a9c37b2a5b77 prerelease

age author description
Wed, 15 Jun 2016 20:58:48 +0100 Giulio Moro Makefile can stop ide (idestop) prerelease
Wed, 15 Jun 2016 14:16:20 +0100 Giulio Moro Makefile: renamed iderun to idestart in order to avoid confusion with runide prerelease
Wed, 15 Jun 2016 03:01:16 +0100 Giulio Moro Fixed Makefile: now runs from the correct folder prerelease