diff options
| author | Blaž Hrastnik | 2020-10-23 03:06:33 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-12-03 04:10:35 +0000 |
| commit | 55fa86248c77a01900379ec5bca668978fd5c0d3 (patch) | |
| tree | 3557e8c03412e5cbc9f1992c60540a74d49dd5b0 /.gitignore | |
| parent | e4070d4de0883c3fc979b3d57b1b43ecb0a0d72f (diff) | |
Introduce doc.selection()/set_selection()
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions