diff options
| author | gingerBill <bill@gingerbill.org> | 2023-12-13 01:17:48 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-12-13 01:18:05 +0000 |
| commit | 036fa6482ccc6d4eb7562e2a5a4af566ea05eb90 (patch) | |
| tree | 84178408e07265302fbde9a69d12add56a7219bf /src | |
| parent | 04ca22b9ea66c943f14b46eb1be3e3c6f7952ba6 (diff) | |
Use `cmp_proc` in `binary_search`
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions