2 commits

Author	SHA1	Message	Date
Daniel Heule	f3172fda95	2 more types for issue 131	2014-02-08 22:06:27 +01:00
Daniel Heule	3c52710763	little changes for using default parameters correctly	2014-02-03 21:43:39 +01:00