diff options
| author | Kirill Bulatov <[email protected]> | 2020-08-22 20:03:02 +0100 |
|---|---|---|
| committer | Kirill Bulatov <[email protected]> | 2020-08-22 20:03:02 +0100 |
| commit | cdd75a699aaa9dbf971a8c6b0d59b36c5b6b49e6 (patch) | |
| tree | 8e587c224f83c6046eb5d0afc0bd209362fc94c0 /docs/dev | |
| parent | e65d48d1fb3d4d91d9dc1148a7a836ff5c9a3c87 (diff) | |
Omit lenses for not runnable doctests
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions