diff options
| author | Anders Leino <aleino@nvidia.com> | 2025-01-25 03:51:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-25 01:51:06 +0000 |
| commit | a7958afa5ace2c92e10e1765a5bc33c891d09079 (patch) | |
| tree | 9290ceb6215cebb44420e8f0759799206f5207f8 /source | |
| parent | 1abba25401c59a5634955ca44806834186e6b082 (diff) | |
Some usability improvements to formatting script (#6153)
* Sharpen the requirements for formatting
* Add option to only format files changed since a given revision
* Avoid divison-by-zero when total is zero
* format code
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions