diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-24 21:24:48 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-24 21:24:48 +0100 |
commit | 18172eb1972717d108969710f2bce10c018e98c9 (patch) | |
tree | abd1efe57f5227baaf8d3f2466728172501f2bdb /docs/user | |
parent | d7f1a53c6c1238828276a44866c2376588f435aa (diff) | |
parent | 280096688bbc1b6c01f11ef934dd18a2addbc6b6 (diff) |
Merge #5525
5525: minor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
-rw-r--r-- | docs/user/manual.adoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/user/manual.adoc b/docs/user/manual.adoc index 4b31145de..cfc0ad81c 100644 --- a/docs/user/manual.adoc +++ b/docs/user/manual.adoc | |||
@@ -300,7 +300,7 @@ interface Crate { | |||
300 | /// `include_dirs` are included recursively, unless a subdirectory is in `exclude_dirs`. | 300 | /// `include_dirs` are included recursively, unless a subdirectory is in `exclude_dirs`. |
301 | /// | 301 | /// |
302 | /// Different crates can share the same `source`. | 302 | /// Different crates can share the same `source`. |
303 | 303 | /// | |
304 | /// If two crates share an `.rs` file in common, they *must* have the same `source`. | 304 | /// If two crates share an `.rs` file in common, they *must* have the same `source`. |
305 | /// rust-analyzer assumes that files from one source can't refer to files in another source. | 305 | /// rust-analyzer assumes that files from one source can't refer to files in another source. |
306 | source?: { | 306 | source?: { |