From 9ef40915633cdbd2cbca22f200688db4bc2578ea Mon Sep 17 00:00:00 2001
From: David Rothlisberger <david@rothlis.net>
Date: Mon, 7 May 2012 11:31:23 +0100
Subject: [PATCH] Recipe for pretty-symbols-mode -- a configurable replacement
 for pretty-mode.

---
 recipes/pretty-symbols-mode | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 recipes/pretty-symbols-mode

diff --git a/recipes/pretty-symbols-mode b/recipes/pretty-symbols-mode
new file mode 100644
index 00000000..67a9960a
--- /dev/null
+++ b/recipes/pretty-symbols-mode
@@ -0,0 +1 @@
+(pretty-symbols-mode :repo "drothlis/pretty-symbols" :fetcher github)