diff scripts/setup_board.sh @ 202:6fbf0af23a19

merge
author Giulio Moro <giuliomoro@yahoo.it>
date Fri, 05 Feb 2016 18:16:34 +0000
parents 91e1a3a220d4
children 0357b8df93a5
line wrap: on
line diff