commit | 7aae5c08b5a484dc9b24049c68a9e3c2a2a4a445 | [log] [tgz] |
---|---|---|
author | Henner Zeller <h.zeller@acm.org> | Sun Mar 30 15:26:27 2025 -0700 |
committer | GitHub <noreply@github.com> | Sun Mar 30 15:26:27 2025 -0700 |
tree | 5e62938e2052944f28379d10061bcbe28bab87f2 | |
parent | e12a194dee3d91ba4188c97946ffc5a05d39ca38 [diff] | |
parent | 13d42204be5296ce0800faf2c88e18b32de18888 [diff] |
Merge pull request #2382 from hzeller/feature-20250330-always-refresh-compdb before-submit.sh: unconditionally update compilation-db