wok diff loudmouth-dev/receipt @ rev 25157

updated pugixml (1.10 -> 1.12.1)
author Hans-G?nter Theisgen
date Thu Jun 30 16:40:03 2022 +0100 (24 months ago)
parents 8acd10ad5f1c
children
line diff
     1.1 --- a/loudmouth-dev/receipt	Fri Apr 01 07:38:03 2022 +0100
     1.2 +++ b/loudmouth-dev/receipt	Thu Jun 30 16:40:03 2022 +0100
     1.3 @@ -16,3 +16,4 @@
     1.4  {
     1.5  	get_dev_files
     1.6  }
     1.7 +