Commit 53ff1dd1 authored by Committed by hjk
Analyzer: Separate "integrated" and "external" variants in tool box.
Having the external tool flavors mixed in among the normal ones makes the tool box look cluttered and is bound to confuse users. So we now group the tools, with the mainstream use case coming first. Change-Id: I200b45550d7b1d1f2a565c2e37979fc195f5a12f Reviewed-by: hjk <email@example.com>
Showing with 24 additions and 6 deletions