Skip to content

Improve quick peek with highlighting in both the jump and holes commands #3492

Improve quick peek with highlighting in both the jump and holes commands

Improve quick peek with highlighting in both the jump and holes commands #3492

Annotations

1 warning

lint-opam

succeeded Jan 15, 2025 in 4m 51s