Commit 86401cc3d293d6ea3c4552885e3cadcd952021d1

Nick Wellnhofer 2025-01-07T19:01:57

xmllint: Make --shell ignore some other options When the shell should be launched with the --shell option, don't post-validate, stream or dump the document. Ignore the --repeat option.