From d3872d1aa94a2ae6294f7cce3584f4d0aaa16fcb Mon Sep 17 00:00:00 2001
From: yenatch <yenatch@gmail.com>
Date: Mon, 1 Jul 2013 02:48:08 -0400
Subject: [PATCH] =?UTF-8?q?chars:=20=E2=96=B7?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 extras/chars.py | 1 +
 preprocessor.py | 1 +
 2 files changed, 2 insertions(+)

diff --git a/extras/chars.py b/extras/chars.py
index 1bc25dbe7..3810d83cb 100644
--- a/extras/chars.py
+++ b/extras/chars.py
@@ -98,6 +98,7 @@ chars = {
     0xE9: "&",
     0xEA: "é",
     0xEB: "→",
+    0xEC: "▷",
     0xED: "▶",
     0xEE: "▼",
     0xEF: "♂",
diff --git a/preprocessor.py b/preprocessor.py
index 242732094..30060e7d7 100644
--- a/preprocessor.py
+++ b/preprocessor.py
@@ -286,6 +286,7 @@ chars = {
 "&": 0xE9,
 "é": 0xEA,
 "→": 0xEB,
+"▷": 0xEC,
 "▶": 0xED,
 "▼": 0xEE,
 "♂": 0xEF,