diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 17:22:31 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-05 17:22:31 +0100 |
commit | f0411ff9e0826fab1aaefc3e5b5072d84ce31d35 (patch) | |
tree | 4808e2a4cd7fc859ddf601a817ea5d9afa5c4d3c /.vscode/tasks.json | |
parent | 58f64313fdbb215b29cceb843e06d2c1541d9f56 (diff) | |
parent | fe52f8f0281c0f56955871863a6e0c14732540f9 (diff) |
Merge #4320
4320: add doctest support r=matklad a=bnjjj
close #4317
preview:
<img width="253" alt="Capture d’écran 2020-05-05 à 17 39 58" src="https://user-images.githubusercontent.com/5719034/81086040-45110b80-8ef8-11ea-9c05-79c6fe400fc3.png">
Co-authored-by: Benjamin Coenen <[email protected]>
Diffstat (limited to '.vscode/tasks.json')
0 files changed, 0 insertions, 0 deletions