Skip to content

Fix wrong fonts being used when font-lock-mode is enabled#106

Merged
wyuenho merged 1 commit intodomtronn:masterfrom ubolonton:font-lock-fixFeb 15, 2019

Commits

Commits on Feb 7, 2018