log Makefile @ 423:9182fa7e802a prerelease

age author description
Thu, 16 Jun 2016 14:05:17 +0100 Giulio Moro make nostartup now works properly prerelease
Thu, 16 Jun 2016 03:25:56 +0100 Giulio Moro Makefile added connect and ideconnect goals prerelease
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
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