Diff - 19aee2cbb44ee3a15a83c701bdba14f464ede1e0^2..19aee2cbb44ee3a15a83c701bdba14f464ede1e0 - third_party/verible - Git at Google

commit: 19aee2cbb44ee3a15a83c701bdba14f464ede1e0
[log]
author: Henner Zeller <h.zeller@acm.org>
Mon Jan 27 14:32:42 2025 -0800
committer: GitHub <noreply@github.com>
Mon Jan 27 14:32:42 2025 -0800
tree: f756a5de707d4655abaf42136db9b536c25f6187
parent: 931a6910a69a0417706b529e8d4f043409b18d35 [diff]
parent: 2749793e0c13c5ec4e0b44e6d5e20f320a4add03 [diff]

Merge pull request #2343 from hzeller/feature-20250122-bant-reporting

build cleaner, compilation db making: simplify