Skip to content

Strip CONFIG_ prefix in jump-to search dialog#42

Merged
jserv merged 1 commit intomainfrom
strip-config-prefix
Feb 20, 2026
Merged

Strip CONFIG_ prefix in jump-to search dialog#42
jserv merged 1 commit intomainfrom
strip-config-prefix

Commits

Commits on Feb 20, 2026