Hermann Kraus aecd6820c2 Use char_properties_ptr everywhere.		2012-07-02 00:10:55 +02:00
..
python	Use char_properties_ptr everywhere.	2012-07-02 00:10:55 +02:00