Rename pretty-symbols-mode to pretty-symbols.

This commit is contained in:
Donald Curtis 2013-10-17 07:35:37 -07:00
parent 0a3c261550
commit ed01ef6333
2 changed files with 1 additions and 1 deletions

1
recipes/pretty-symbols Normal file
View file

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

View file

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