log scripts/update_board @ 455:0567af952cfa prerelease

age author description
Sun, 19 Jun 2016 23:31:25 +0100 Giulio Moro merge prerelease
Sun, 19 Jun 2016 23:20:34 +0100 Giulio Moro --no-frills for udpate_board prerelease
Sun, 19 Jun 2016 22:36:38 +0100 Giulio Moro Minor edits to Makefile prerelease
Sun, 19 Jun 2016 21:27:37 +0100 Giulio Moro update_board : no-frills option, no-documentation option prerelease