| commit | 00ba3b1edc74ed5515eae2d7e1f733b8516f908a | [log] [tgz] |
|---|---|---|
| author | Simon Glass <sjg@chromium.org> | Sat May 18 10:07:17 2019 -0600 |
| committer | Simon Glass <sjg@chromium.org> | Wed Jul 10 16:52:58 2019 -0600 |
| tree | 409c36a94e7d5dd2c173872e9de18cd9235969b7 | |
| 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>