Fri, 24 Jun 2016 15:18:07 +0100 |
Giulio Moro |
update_board removes old dox
prerelease
|
Thu, 23 Jun 2016 19:17:43 +0100 |
Giulio Moro |
update_board does not restart the IDE with --no-frills (hence the name)
prerelease
|
Thu, 23 Jun 2016 18:15:26 +0100 |
Giulio Moro |
stricthostchecking is added to each check_board_alive
API-update
|
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
|