diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-08 20:26:48 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-08 20:26:48 +0100 |
| commit | 47e742f598a32a87958c9c7c00c71c5bf7346178 (patch) | |
| tree | 75d8a74e39fce68a16a5ffc2543f5e730bfeb3ed /docs/dev/guide.md | |
| parent | 3a7c218fd40c77246c94d28b36b1c567492e5bcb (diff) | |
| parent | e3663d60bfe1e8505e6db8bffab997b87be03913 (diff) | |
Merge #4797
4797: Dev docs nits r=matklad a=lnicola
indenpendence
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions