Commit Graph

1 Commits

Author SHA1 Message Date
Daniel Heule c70834eaff implemented some sugestions from nico 2014-09-29 17:28:45 +02:00