diff options
| author | Luke Dashjr <luke-jr+git@utopios.org> | 2019-04-11 23:39:59 +0000 |
|---|---|---|
| committer | Luke Dashjr <luke-jr+git@utopios.org> | 2019-04-11 23:42:26 +0000 |
| commit | 4ddeb2f860eee98fbe94725ea8885368068a03f2 (patch) | |
| tree | a37adeed27ff4211d4e1e971faf879c059e6f574 /test/lint/lint-whitespace.sh | |
| parent | 6f6514a08090b37b5e8c086015ee4881813ef867 (diff) | |
GUI: Options: Set the range of pruning size before loading its value
Without this, an out-of-default-range value gets limited to the range
Diffstat (limited to 'test/lint/lint-whitespace.sh')
0 files changed, 0 insertions, 0 deletions