Update font

This commit is contained in:
Maciej 2020-02-14 08:47:09 +02:00
parent 77372c5093
commit 810d175372
Signed by: maciej
GPG key ID: 41D62D42D3B0D765
7 changed files with 36 additions and 8 deletions

View file

@ -86,7 +86,7 @@
;; Company list override
(add-to-list (make-local-variable 'company-backends)
'(company-yasnippet company-etags company-dabbrev)))
'(company-yasnippet company-etags)))
(add-hook 'erlang-mode-hook 'erlang/activate-erlang-mode)