Hermann Kraus 37b2054041 Copy constructor for CharProperties.		2012-02-05 15:11:08 +01:00
..
__init__.py	Copy constructor for CharProperties.	2012-02-05 15:11:08 +01:00
printing.py	update tests as per #992	2011-12-16 07:22:52 -08:00