Hermann Kraus 0b16174ddb Remove unused code.		2012-07-22 02:11:15 +02:00
..
properties.hpp	Remove unused code.	2012-07-22 02:11:15 +02:00