diff options
| author | yenatch <yenatch@gmail.com> | 2013-07-01 02:48:08 -0400 |
|---|---|---|
| committer | yenatch <yenatch@gmail.com> | 2013-07-10 19:17:02 -0400 |
| commit | d3872d1aa94a2ae6294f7cce3584f4d0aaa16fcb (patch) | |
| tree | 55ffdea657194139c39968d5e7b1ce4ed19fccd0 | |
| parent | 6597eb7e505a973a49e0fbd602f66f74395e2200 (diff) | |
chars: ▷
| -rw-r--r-- | extras/chars.py | 1 | ||||
| -rw-r--r-- | preprocessor.py | 1 |
2 files changed, 2 insertions, 0 deletions
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, |