Skip to content

Add ability to immediately toggle case folding and hidden search from… #175

Add ability to immediately toggle case folding and hidden search from…

Add ability to immediately toggle case folding and hidden search from… #175

Annotations

1 warning

build (28.2, check)

succeeded May 11, 2024 in 29s