projects
/
cargo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
0f9da74
e8a1ba6
)
Auto merge of #4736 - federicomenaquintero:clarify-patch-from-alternate-sources,...
author
bors
<bors@rust-lang.org>
Wed, 29 Nov 2017 03:05:30 +0000
(
03:05
+0000)
committer
bors
<bors@rust-lang.org>
Wed, 29 Nov 2017 03:05:30 +0000
(
03:05
+0000)
Clarify that [patch] can also use sources that are not crates.io
This includes an example of how to use the `[patch.'https://blahblah']` syntax. I couldn't figure out how to make this work until I saw a crate that actually did this.
Trivial merge