diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-04 19:35:43 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-04 19:35:43 +0000 |
commit | 9c93fbf346b351795c2e526f5ff7fa693aa50609 (patch) | |
tree | 493ffd6bd1a63c6dd5c1db185b9eb19c067e63f0 /docs/dev/guide.md | |
parent | 7c0d7d3838b79ac2f4a2cb2d127c207f61134fa7 (diff) | |
parent | 50364bd47815f4f9174d46ae33f44f7f56545b2d (diff) |
Merge #2175
2175: Appease the linter by dummy doc comments r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions