Rename `format` option to `output-format` #7514
konstin
approved these changes
on 2023-09-19
MichaReiser
marked this pull request as ready for review 2 years ago
MichaReiser
force pushed
from
bd845203
to
76bdabe2
2 years ago
Rename `format` option to `output-format`
0ec04c2a
MichaReiser
force pushed
from
76bdabe2
to
0ec04c2a
2 years ago
MichaReiser
deleted the rename-format-to-output-format branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub