Daniel Heule c70834eaff implemented some sugestions from nico		2014-09-29 17:28:45 +02:00
..
state	implemented some sugestions from nico	2014-09-29 17:28:45 +02:00
version	implemented some sugestions from nico	2014-09-29 17:28:45 +02:00