diff options
| author | Arvin Verain <arvinverain@proton.me> | 2024-07-29 00:39:54 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-28 12:39:54 -0400 |
| commit | f00b2866de46fab6fcac519b70dbec1d0c683f9b (patch) | |
| tree | a7ed6195e3b071bfa9e8687432092e251dd5f5e1 /doc/tags | |
| parent | 56b9114bf29cdc0c0f5de78b5deae1fe0ab65db1 (diff) | |
Remove redundant hlsearch option (#1058)
Diffstat (limited to 'doc/tags')
0 files changed, 0 insertions, 0 deletions