aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/command-ref
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-06-14 22:49:58 +0200
committerGitHub <noreply@github.com>2023-06-14 20:49:58 +0000
commita1cf16563f681b5cb3026f2bbca629996ed36d86 (patch)
tree2c6290ba778609b06445a758cbdfe8303ce1f3fd /doc/manual/src/command-ref
parent05eb06a1deffba33c5f0012822c1a6d8832e5b49 (diff)
Fixup description of substituters (#8291)
Introduce what substituters "are" in the configuration option entry. Remove arbitrary line breaks for easier editing in the future. Link glossary some more. Co-authored-by: Robert Hensing <roberth@users.noreply.github.com> Co-authored-by: John Ericson <git@JohnEricson.me>
Diffstat (limited to 'doc/manual/src/command-ref')
0 files changed, 0 insertions, 0 deletions