diff options
author | Stanislaw Halik <sthalik@misaki.pl> | 2016-10-19 20:54:10 +0200 |
---|---|---|
committer | Stanislaw Halik <sthalik@misaki.pl> | 2016-10-19 20:54:10 +0200 |
commit | e59090089d997c3246757df118240c0886f31a4c (patch) | |
tree | a8935ba9c29be44fa2ec1e2a00309c61f2470d4b /settings | |
parent | a38e3f7c61004a0844fb6c300c0b77d39a683fa6 (diff) |
options/slider: check for floating-point division by zero
It's not strictly necessary but a good practice nevertheless.
Diffstat (limited to 'settings')
0 files changed, 0 insertions, 0 deletions