Diff - 856e8e4efb6a00c4528acc2680ec41424e2e9000^2..856e8e4efb6a00c4528acc2680ec41424e2e9000 - third_party/verible - Git at Google

commit: 856e8e4efb6a00c4528acc2680ec41424e2e9000
[log]
author: Henner Zeller <h.zeller@acm.org>
Thu Dec 08 05:47:42 2022 -0800
committer: GitHub <noreply@github.com>
Thu Dec 08 05:47:42 2022 -0800
tree: cb2151d932b8001a8c4300763836559286810ef2
parent: 7d5771601145da530b04299eb4f4ec638822eb3d [diff]
parent: 84f33d0b439f929a9e13e338b7a620e9b9df85e6 [diff]

Merge pull request #1554 from hzeller/20221208-more-visibility-format-run

Make it more visible how to run the formatter.