diff options
| author | StefanVukovic99 <stefanvukovic44@gmail.com> | 2023-12-29 04:02:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-29 03:02:51 +0000 |
| commit | 580983b9b8a17965db1466aa08cad3c96b06022e (patch) | |
| tree | 914760e326ffc4b1acf8ddcddbd5006ae762babf /shell.nix | |
| parent | 8d5d2152e4295fdcefa6ef283204c92df1f81305 (diff) | |
search resolution option (#436)
* add search resolution setting
* move finding next substring to method
* use regex literal
* fix comments
* fix comments
* add options update function
* update test
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions