log Makefile @ 410:41436dcd2cb0 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
Wed, 15 Jun 2016 02:04:23 +0100 Giulio Moro Fixed Makefile startups prerelease