diff options
author | Jonas Schievink <[email protected]> | 2021-05-27 12:55:31 +0100 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2021-05-27 12:55:31 +0100 |
commit | 196cb65ead398f81340de431400103224d7de660 (patch) | |
tree | cdd16b7a0a873a22bef3ee6965d59fd8cfafa0c8 /.gitignore | |
parent | fe910c7bc4aac8a33fc1933d64aa260d42a3c4f1 (diff) |
Drop `ignore` from doctests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions