diff options
| author | regnat <rg@regnat.ovh> | 2021-04-23 14:30:42 +0200 |
|---|---|---|
| committer | regnat <rg@regnat.ovh> | 2021-04-23 14:37:21 +0200 |
| commit | 31313d1401ffe387e69b84c62ba8798bf23a8914 (patch) | |
| tree | e5c76e44d9d0dffaf972e56c879cb5779a154823 /src/libstore | |
| parent | 293220bed5a75efc963e33c183787e87e55e28d9 (diff) | |
Replace the trailing markdown spaces by a backslash
They are equivalent according to
<https://spec.commonmark.org/0.29/#hard-line-breaks>,
and the trailing spaces tend to be a pain (because the make git
complain, editors tend to want to remove them − the `.editorconfig`
actually specifies that − etc..).
Diffstat (limited to 'src/libstore')
| -rw-r--r-- | src/libstore/globals.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 3e4ead76c..6f8749254 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -701,7 +701,7 @@ public: send a series of commands to modify various settings to stdout. The currently recognized commands are: - - `extra-sandbox-paths` + - `extra-sandbox-paths`\ Pass a list of files and directories to be included in the sandbox for this build. One entry per line, terminated by an empty line. Entries have the same format as `sandbox-paths`. |