diff options
| author | Simon Glass <sjg@chromium.org> | 2019-05-18 10:07:17 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2019-07-10 16:52:58 -0600 |
| commit | 00ba3b1edc74ed5515eae2d7e1f733b8516f908a (patch) | |
| tree | 409c36a94e7d5dd2c173872e9de18cd9235969b7 /common | |
| parent | 9550f9acd64449a739b2db90c64e63a6269d81d8 (diff) | |
Add a simple script to remove boards
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>
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions