diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-21 00:20:57 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-21 00:20:57 +0100 |
commit | 41b21dee019a643e35ee6e5462afe6bb4ffc2c5f (patch) | |
tree | 4ee354bf8420a1f215d12461bd4a99afb3bb99d2 /editor | |
parent | b711c09bc8dd7b63963eb46b78cf9f24d48c95c0 (diff) |
Bullet: Prevent potential division by zero
Fixes #33715.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions