diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-06 08:22:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-06 08:22:08 +0100 |
| commit | 98693e96ae0dea9c7fe1b78b7b04961fc73f37a6 (patch) | |
| tree | 4d30c6da03926c5b9961911b2bf130d1d69fe749 /core | |
| parent | 3662105f8bd8c897caf625e44195bdfc7bdaf0f9 (diff) | |
| parent | 4cdc75915f1643c3cdaadccdfcaf12d62e01e7ab (diff) | |
Merge pull request #56542 from aaronfranke/format-no-bat
Skip formatting `.bat` files in `file_format.sh`
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions