Armeen Mahdian 1be5ae112f xpf: remove		2022-04-26 09:10:44 -05: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.2 -> 8.3	2022-02-26 17:00:07 +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