tree d135f1e3542bb47797424d9922735fe199bb1b5f
parent 74fe1fa520e06ae11b41432622655e1a4d392ec3
author maxwen <max.weninger@gmail.com> 1599049997 +0200
committer Max Weninger <max.weninger@gmail.com> 1600532942 +0100

omni: cleanup list of BOARD_INCLUDE_CMDLINE_TOOLS

Change-Id: I733cee00755e8209173e6f2772562151690d3e78