diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-05 17:41:44 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-05 17:41:49 +0100 |
| commit | 9d49dcf9fab32fe96641d364ee8b2a241020f254 (patch) | |
| tree | 8c048008f5b15187a14f3661008e4cf67e64eab8 /depends | |
| parent | 71f56da384afbf62b5936b077d9861c51a511490 (diff) | |
| parent | 7eb665fc860ab0dee69ce996e23f4a3033a84f9d (diff) | |
Merge #12260: [Trivial] link mentioned scripted-diff-commit (developer-doc)
7eb665fc8 [Trivial] link mentioned scripted-diff-commit (Felix Wolfsteller)
Pull request description:
Make it easier for people who do not operate on a cloned repository to access the example mentioned.
Tree-SHA512: 1c06e551c68cad03e6bd541bf0e0076cdf0b48ef9b8b4e4a61435367c3435e2e4ccb934112e8dc29d3d70217d8834924704aaf839e25d1133312df86848ca1a1
Diffstat (limited to 'depends')
0 files changed, 0 insertions, 0 deletions