diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:32:40 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:32:40 +0200 |
| commit | 12e7ad403627f39f675fba85ad240af6306f0f67 (patch) | |
| tree | 4078060c8af975b29a4a0024c708a7e65fba3c37 /plugingui | |
| parent | 08489fe7085be47298e37adbb7787033a17b5905 (diff) | |
Also enforce monotonicity on initialization.
Diffstat (limited to 'plugingui')
0 files changed, 0 insertions, 0 deletions