diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:37:29 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:37:29 +0200 |
| commit | 413ec2df0d1d2d4eaaf356e5887c48438eed5032 (patch) | |
| tree | ac422d22d3d2d8bb229abfe320a000cd926b2f42 /plugingui/tabbutton.h | |
| parent | 12e7ad403627f39f675fba85ad240af6306f0f67 (diff) | |
Fix monotonicity by switching to the other monotonicity fix.
Diffstat (limited to 'plugingui/tabbutton.h')
0 files changed, 0 insertions, 0 deletions