log dep/pugixml/docs/manual.html @ 266:1a6a5d3a94cd

age author description
14 months ago Paper deps/pugixml: update to v1.14.0
16 months ago Paper add xml lib, we will need to use it eventually