diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:17:18 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2020-04-25 14:17:35 +0200 |
| commit | 08489fe7085be47298e37adbb7787033a17b5905 (patch) | |
| tree | eddae61eed88cd5043fbe05c4af86d235aa3b7d7 /plugingui/toggle.cc | |
| parent | 0ce90a85fa6d657ed423171bc94320a613b53e1e (diff) | |
Enforce monotonicity in the powermap by the set functions.
Diffstat (limited to 'plugingui/toggle.cc')
0 files changed, 0 insertions, 0 deletions