diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-14 22:49:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-14 20:49:58 +0000 |
commit | a1cf16563f681b5cb3026f2bbca629996ed36d86 (patch) | |
tree | 2c6290ba778609b06445a758cbdfe8303ce1f3fd /doc/manual/src/command-ref | |
parent | 05eb06a1deffba33c5f0012822c1a6d8832e5b49 (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