[tools] Fix indentation. (#20269)

This commit is contained in:

Rolf Bjarne Kvinge

2024-03-07 10:52:51 +01:00

коммит произвёл

GitHub

Родитель 5bc88fa930

Коммит 3651eb1bcc

Не найден ключ, соответствующий данной подписи

Идентификатор ключа GPG: B5690EEEBB952194

1 изменённых файлов: 1 добавлений и 1 удалений