diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-21 17:57:45 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-21 17:57:45 +0000 |
| commit | 31ed1641615bd57d9f4897dbe93e97f185fc5273 (patch) | |
| tree | c1b252604b48d2379c4735b535deaec9489d2d1a /docs/user/manual.adoc | |
| parent | 35868c4f7dc479dd5f731a2785ec6a203046ea9c (diff) | |
| parent | 7b693470c4fc61fff08c435cc3a2a646e88678cb (diff) | |
Merge #8134
8134: Correct the paths of submodules from the include! macro r=edwin0cheng a=sticnarf
This PR should fix #7846. It mostly follows the instructions from @edwin0cheng in that issue.
Co-authored-by: Yilin Chen <[email protected]>
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions