Wed, 22 Jun 2016 15:21:58 +0100 |
Giulio Moro |
reverted to bash, better handling of non existing IDE folder during update_board
prerelease
|
Wed, 22 Jun 2016 12:40:28 +0100 |
Giulio Moro |
update_board checks for board active at the beginning. ANY key is good for exiting
prerelease
|
Wed, 22 Jun 2016 01:28:25 +0100 |
Giulio Moro |
update_board again
prerelease
|
Wed, 22 Jun 2016 01:24:55 +0100 |
Giulio Moro |
update_board
prerelease
|
Tue, 21 Jun 2016 17:24:20 +0100 |
Giulio Moro |
update_board does not coreclean if --no-frills
prerelease
|
Tue, 21 Jun 2016 15:16:55 +0100 |
Giulio Moro |
update_board can skip updating the IDE
prerelease
|
Mon, 20 Jun 2016 21:28:34 +0100 |
Giulio Moro |
update_board forwards flags to update_IDE, IDE gets restarted only once
prerelease
|