diff options
| author | Bob | 2022-07-13 15:01:42 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-13 15:01:42 +0000 |
| commit | 4418924ec34c28e43ce34809edaac4ce4fd9f72c (patch) | |
| tree | 7f6eca154ef83463d0ee4d07f8ce6ba4fe426fec /shell.nix | |
| parent | e6a6e251c5cb2c373584187c3d4d17b3eaac6b6a (diff) | |
respect count for selecting next/previous match (#3056)
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions