diff options
| author | Mario Six | 2019-01-21 09:17:50 +0100 |
|---|---|---|
| committer | Mario Six | 2019-05-21 07:51:40 +0200 |
| commit | 47a1b3f446de751ce9cacf57d43681ea43402ea4 (patch) | |
| tree | 29d07ec4c9096a5cc6adb0059f9c57057e1cf07f /configs | |
| parent | 897c82ae91c9f31479332aecc0e9fc4832b0823c (diff) | |
MPC837XERDB: Remove CONFIG_MPC837XERDB
CONFIG_MPC837XERDB is unused, and TARGET_MPC837XERDB could replace it.
Hence, get rid of CONFIG_MPC837XERDB.
Signed-off-by: Mario Six <mario.six@gdsys.cc>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions