ref: c7838eec93586379f3b938e5553060a0fd3febc0
parent: 427c822910ac429a89518550bdf7b00d8e60a9a9
author: C Nelson <[email protected]>
date: Tue Apr 17 19:32:56 EDT 2012
Fix an import.
--- a/extras/chars.py
+++ b/extras/chars.py
@@ -1,4 +1,5 @@
# -*- 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 = {