Commit 3665d667f626715bd89d3f3e25d6746e741fdd8f

Nick Wellnhofer 2024-05-07T16:53:43

xmllint: Clean up option handling Remove unnecessary globals and make some local. Remove unnecessary calls to xmlTextReaderSetParserProp. Remove unused "oldout" code. Fix skipArgs.