da8903ecc3
Since setting names are not unique we don't have an easy way to produce unique anchors. |
||
---|---|---|
.. | ||
src | ||
theme | ||
anchors.jq | ||
book.toml | ||
custom.css | ||
generate-builtins.nix | ||
generate-manpage.nix | ||
local.mk | ||
quote-literals.xsl | ||
redirects.js | ||
utils.nix |