diff options
| author | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2017-07-10 14:46:19 -0400 |
|---|---|---|
| committer | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2017-07-10 15:18:45 -0400 |
| commit | cbfed7099a748c586d984611e9b46ecc55ea3b68 (patch) | |
| tree | cdf933f76b77748d46e0a200c7be3539cdb82d81 /src | |
| parent | 02b9b21e5af96966c24daeb0c99287003ec110cb (diff) | |
Expect extrema if there's a good chance of attaining them
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions