diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-11-13 13:02:39 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-11-13 13:02:39 +0900 |
| commit | 17b5618c3984cbeef3b14a222f259e4f83fe9f28 (patch) | |
| tree | 63bd332dcc61583463e26edbb5211db46bc75c69 /scripts | |
| parent | d06e6b7d20f12e3fe4fdf7ac8e1c6e99f1c5c4ea (diff) | |
| download | subsurface-17b5618c3984cbeef3b14a222f259e4f83fe9f28.tar.gz | |
MaxPPO2 should be a double, not an int
This just fixes the spinner used in the preferences dialog.
Reported-by: Benjamin <nystire@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions