Skip to content

Use font-lock-punctuation-face for deref @ marker#138

Open
bbatsov wants to merge 1 commit intomainfrom
fix-deref-face
Open

Use font-lock-punctuation-face for deref @ marker#138
bbatsov wants to merge 1 commit intomainfrom
fix-deref-face

Commits

Commits on Mar 24, 2026