tree 76b54e168b90ece605b73b8b8ae2a09d6627b4f2
parent 4defa2c24a6d21a7b8f712dd2ea39f43ff113307
author hhb <haibohuang2010@gmail.com> 1612304872 +0000
committer Nick Wellnhofer <wellnhofer@aevum.de> 1613836185 +0100

Add a flag to not output anything when xmllint succeeded