cpitclaudel/company-coq

Feature Request: exclude . and ; from prettified symbols

soraros opened this issue · 0 comments

soraros commented

So that things like

intros ->.

could look better.