Skip to content

Make output-file by default to /dev/stdout#71

Merged
lorenzo merged 1 commit intohadolint:masterfrom DracoBlue:patch-2Jan 17, 2023

Commits

Commits on Jan 17, 2023