diff options
| author | Eli Schwartz <eschwartz@archlinux.org> | 2023-06-11 22:37:53 -0400 |
|---|---|---|
| committer | Eli Schwartz <eschwartz@archlinux.org> | 2023-06-20 16:24:45 -0400 |
| commit | aa48cdcf60fee61eeee5bd5a9915bb6e91b6ec39 (patch) | |
| tree | 8c4bb491229d665bde4669a54dff5c964be9afe4 /docs/genrefman.py | |
| parent | 85e0c0a5d77f506c565c596990c212011868ae80 (diff) | |
| download | meson-aa48cdcf60fee61eeee5bd5a9915bb6e91b6ec39.zip meson-aa48cdcf60fee61eeee5bd5a9915bb6e91b6ec39.tar.gz meson-aa48cdcf60fee61eeee5bd5a9915bb6e91b6ec39.tar.bz2 | |
use truncating division for code that explicitly needs an int
We are going to truncate it down below with int() anyway, no need to
carry extra precision. And mypy complains if the type changes between
float and int.
Diffstat (limited to 'docs/genrefman.py')
0 files changed, 0 insertions, 0 deletions