diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-24 12:08:11 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-24 12:08:11 +0100 |
| commit | 150e3843b0f84e74c0476954b03e23b16631d5c8 (patch) | |
| tree | 656752d1b26ec8d5b3319cf4bc88947fee9888c6 /docs | |
| parent | b00702b738ced5218916658aecdb1d105f38e788 (diff) | |
| parent | cdd75a699aaa9dbf971a8c6b0d59b36c5b6b49e6 (diff) | |
Merge #5845
5845: Omit lenses for not runnable doctests r=matklad a=SomeoneToIgnore
Ideally, we should properly parse the doctest attributes before, but since I need it for the code lens only, this way should suffice for now
Co-authored-by: Kirill Bulatov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions