Bobby Rong 07f3986fba Merge pull request #167219 from r-ryantm/auto-update/html-xml-utils ... html-xml-utils: 8.3 -> 8.4		2022-05-08 14:12:47 +08:00
..
basex	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
html-xml-utils	html-xml-utils: 8.3 -> 8.4	2022-04-04 18:36:19 +00:00
jing-trang	jing-trang: use jdk_headless instead of jdk	2022-04-03 09:11:14 +02:00
rnv
rxp	treewide: fix homepages with permanent redirect to https	2022-01-07 09:57:54 +07:00
xml2	tools/{text/typesetting}: replace name with pname&version	2021-08-02 16:48:40 +02:00
xmldiff
xmlformat
xmloscopy
xmlstarlet	tools/{text/typesetting}: replace name with pname&version	2021-08-02 16:48:40 +02:00