ref: 6a8e2d0ed4394b1302434a4ec1334c231a8f3b38
parent: 3f536b62a71a8cc45bb6ec8d59f64565831f57dd
author: Bryan Bishop <[email protected]>
date: Wed Apr 18 12:17:31 EDT 2012
spacing
--- a/extras/chars.py
+++ b/extras/chars.py
@@ -1,5 +1,6 @@
# -*- coding: utf-8 -*-
from copy import copy
+
#this is straight out of ../textpre.py because i'm lazy
#see jap_chars for overrides if you are in japanese mode?
chars = {