comparison Makefile @ 452:7b63e3295343 prerelease

update_board : no-frills option, no-documentation option
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 19 Jun 2016 21:27:37 +0100
parents fdb30affab1c
children 5e79364c9b1d 4cccb13bf406
comparison
equal deleted inserted replaced
448:fdb30affab1c 452:7b63e3295343