diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-17 17:12:09 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-17 17:12:09 +0000 |
commit | ce3db6c9270411d34635cc6106115110c84a27f6 (patch) | |
tree | 711d8244ad54a433b5102008d8a46779f0dcc55d /docs/dev | |
parent | 4368a3bcebca131dd5c7ccecc54e64b3c5bd0c78 (diff) | |
parent | c888f1de6fa93d85e0fd662efd5a85421e86b326 (diff) |
Merge #6919
6919: Rewrite doctest runnables r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions