Henrik Lissner e3a0ad0b33 set-pretty-symbols!: rename rest -> plist ... A more sensibile name.		2018-10-16 17:32:41 -04:00
..
+fira.el
+iosevka.el
+pragmata-pro.el
autoload.el	set-pretty-symbols!: rename rest -> plist	2018-10-16 17:32:41 -04:00
config.el	No prettify-symbols-mode in special modes	2018-07-12 16:43:37 +02:00