Merge pull request #108 from drothlis/pretty-symbols

Recipe for pretty-symbols-mode -- a configurable replacement for pretty-mode
This commit is contained in:
Steve Purcell 2012-05-07 03:37:19 -07:00
commit bdeaf23b68

View file

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