diff scripts/update_board @ 523:42f6af3a5f1d prerelease

build_project and build_pd_heavy mostly done
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 23 Jun 2016 04:31:09 +0100
parents 4656f886175e
children 1c68ad13bbe4
line wrap: on
line diff