Grégory Soutadé 84b01a5de3 Use system version of pugixml, not a checkouted one		2023-01-08 21:15:33 +01:00
..
setup.sh	Use system version of pugixml, not a checkouted one	2023-01-08 21:15:33 +01:00
update_lib.sh	Use system version of pugixml, not a checkouted one	2023-01-08 21:15:33 +01:00