log Makefile @ 409:49e708a7ae51 prerelease

age author description
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
Wed, 15 Jun 2016 01:48:22 +0100 Giulio Moro Fixed 'make stop' kills IDE prerelease
Wed, 15 Jun 2016 01:34:29 +0100 Giulio Moro Merge prerelease
Tue, 14 Jun 2016 18:24:25 +0100 Giulio Moro Reverting Makefile introduced in 814e85de67e1 prerelease