Mercurial > hg > beaglert
diff scripts/stop_running.sh @ 527:1c68ad13bbe4 API-update
stricthostchecking is added to each check_board_alive
author | Giulio Moro <giuliomoro@yahoo.it> |
---|---|
date | Thu, 23 Jun 2016 18:15:26 +0100 |
parents | d9a4fc5357e7 |
children |