diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 16:22:50 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 16:23:08 +0200 |
| commit | 642ccefe86f51248b192e086a61ca665bbca3cfc (patch) | |
| tree | 8e389d82bdb38e1088128e8acc546338642a96d3 /plugin | |
| parent | c637d8630e6843c4677193da1ec5b2d7a60b6f07 (diff) | |
Avoid jumps of the function for avoiding monotonicity.
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions