From 86c332fec716e7ac910dbd332fbcd8ee2eb7cf82 Mon Sep 17 00:00:00 2001 From: Andrea Reale Date: Tue, 20 Jun 2023 11:52:12 +0200 Subject: [PATCH] show correct pugixml version --- contrib/pugixml/readme.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/pugixml/readme.txt b/contrib/pugixml/readme.txt index 747fc0b7e..9dffb72a1 100644 --- a/contrib/pugixml/readme.txt +++ b/contrib/pugixml/readme.txt @@ -1,4 +1,4 @@ -pugixml 1.12 - an XML processing library +pugixml 1.13 - an XML processing library Copyright (C) 2006-2022, by Arseny Kapoulkine (arseny.kapoulkine@gmail.com) Report bugs and download new versions at https://pugixml.org/