tree 773557499a17c684276cef64a00eceb0506cfc4e
parent eeacca8859db384829c01a5a21996acc6091b740
author Morten Krogh-Jespersen <mkroghj@google.com> 1634197929 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1634208695 +0000

[Retrace] Revert back to using inline <OR> for cmd tool

Change-Id: Ia2813e20721d7df1708dcb0ee672190e0b3e70a7