diff scripts/halt_board.sh @ 237:048b7a4dc841

Minor fixes
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 10 Apr 2016 12:23:36 +0200
parents ad6b2767beaf
children e70f023e0f7f
line wrap: on
line diff