summaryrefslogtreecommitdiff
path: root/tools/rmboard.py
AgeCommit message (Collapse)Author
2019-07-10Add a simple script to remove boardsSimon Glass
This script attempts to create a git commit which removes a single board. It is quite fallible and everything it does needs checking. But it can help speed up the process. Signed-off-by: Simon Glass <sjg@chromium.org> Reviewed-by: Chris Packham <judge.packham@gmail.com>