comparison dep/pugixml/src/pugiconfig.hpp @ 358:53c92e8968d5

CI: cleanup; remove source URL
author Paper <paper@paper.us.eu.org>
date Mon, 15 Jul 2024 01:01:52 -0400
parents a45edd073f9e
children
comparison
equal deleted inserted replaced
357:ab77d65f23cd 358:53c92e8968d5