Adam Joseph 7b587ffe61 jing-trang: use jdk_headless instead of jdk ... This allows to build the nixpkgs manual from a "headless" machine, i.e. without dragging in an entire linux desktop.		2022-04-03 09:11:14 +02: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	xmldiff: init at 2.4	2021-03-14 22:08:21 -03:00
xmlformat
xmloscopy
xmlstarlet	tools/{text/typesetting}: replace name with pname&version	2021-08-02 16:48:40 +02:00
xpf	tools/{text/typesetting}: replace name with pname&version	2021-08-02 16:48:40 +02:00