| commit | f140d98636b5862e3bcea090f7203adefef33b30 | [log] [tgz] |
|---|---|---|
| author | Mike Frysinger <vapier@chromium.org> | Wed Aug 21 23:08:17 2019 -0400 |
| committer | chrome-bot <chrome-bot@chromium.org> | Fri Aug 23 13:57:19 2019 -0700 |
| tree | 2457cbf54f67965eb08860c53fd2fa2612b56425 | |
| parent | 9528d42be6bd153615b8a3e37c4c62aa8e9e1811 [diff] |
common.sh: delete unused ALL_BOARDS This hasn't been used since CL:17868. Drop it here. BUG=None TEST=CQ passes Change-Id: I212d2579fa78ce42ae0283ee1834a06b0ddbba69 Reviewed-on: https://chromium-review.googlesource.com/1764949 Tested-by: Mike Frysinger <vapier@chromium.org> Commit-Ready: Mike Frysinger <vapier@chromium.org> Legacy-Commit-Queue: Commit Bot <commit-bot@chromium.org> Reviewed-by: Alex Klein <saklein@chromium.org>