| commit | 1bc06865d8422416707871429db687644744b049 | [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 | 102b21cd227cbe3ab0292da886c14cf0831e5e30 [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>