843288a451
group description of data instead of spreading it across the section. that should help direct skimming. as it turns out, people do not actually read any of that. |
||
---|---|---|
.. | ||
src | ||
theme | ||
anchors.jq | ||
book.toml | ||
custom.css | ||
generate-builtins.nix | ||
generate-manpage.nix | ||
generate-options.nix | ||
local.mk | ||
quote-literals.xsl | ||
redirects.js | ||
utils.nix |