Eelco Dolstra 58dadf2954 Remove stray 'Title:' from the manual ... Closes #4096.		2020-10-08 17:30:40 +02:00
..
command-ref
src	Remove stray 'Title:' from the manual	2020-10-08 17:30:40 +02:00
book.toml
custom.css
generate-builtins.nix
generate-manpage.nix	Remove stray 'Title:' from the manual	2020-10-08 17:30:40 +02:00
generate-options.nix
highlight.pack.js
local.mk	Remove stray 'Title:' from the manual	2020-10-08 17:30:40 +02:00
quote-literals.xsl
utils.nix