log Makefile @ 416:287bcb07de9a prerelease

age author description
Thu, 16 Jun 2016 01:44:25 +0100 Giulio Moro Makefile less verbose prerelease
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