diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-11-30 19:09:42 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-11-30 19:09:42 +0100 |
| commit | 293a7154435a85021e5f5f2e87f881e9810137fc (patch) | |
| tree | 2efed738fde948b8f2bca700fafc974935beaf2a /.github | |
| parent | f16a9ea9ad362b71d37774870080f5b6545e4f2f (diff) | |
Adjust signature of `jump_from_cursor`
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions