Johan Gunnarsson 6ef16ef336 boards: Remove boot type ... It's not used anymore.		2019-06-02 11:00:38 +02:00
..
rebuild-boots	boards: Remove boot type	2019-06-02 11:00:38 +02:00
rebuild-debians	csv: Add header	2019-06-01 14:28:14 +02:00
rebuild-jekyll-boards	boards: Remove boot type	2019-06-02 11:00:38 +02:00