diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 12:47:05 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 12:47:05 +1000 |
| commit | fef70631f4d1be56d772816af22778efebcc8391 (patch) | |
| tree | 5fc605e273b05c3aebae923a01ea44013a0be10e /src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java | |
| parent | 8187f024bae57267af514c5dcb730de09e573e41 (diff) | |
Fix up list shrinking, remove minor superfluous things
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java')
0 files changed, 0 insertions, 0 deletions