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
|