diff options
Diffstat (limited to 'doc/manual/rl-next/build-dir.md')
| -rw-r--r-- | doc/manual/rl-next/build-dir.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/rl-next/build-dir.md b/doc/manual/rl-next/build-dir.md index 88bcd8da4..7ce9fab15 100644 --- a/doc/manual/rl-next/build-dir.md +++ b/doc/manual/rl-next/build-dir.md @@ -1,6 +1,7 @@ --- synopsis: "Add a `build-dir` setting to set the backing directory for builds" cls: 1514 +prs: [gh#10303, gh#10312, gh#10883] credits: [roberth, tomberek] category: Improvements --- |