Recipe for pretty-symbols-mode -- a configurable replacement for pretty-mode.

This commit is contained in:
David Rothlisberger 2012-05-07 11:31:23 +01:00
parent e456ea3cbf
commit 9ef4091563

View file

@ -0,0 +1 @@
(pretty-symbols-mode :repo "drothlis/pretty-symbols" :fetcher github)